{"options": {"runner": {"environment": "theorems"}, "toolbox": [{"type": "And"}, {"type": "Implication"}, {"value_1": {"type": "VarValueLineAB"}, "type": "Parallel", "value_2": {"type": "VarValueLineCD"}}, {"value_1": {"type": "VarValueLineAB"}, "type": "Parallel", "value_2": {"type": "VarValueLineEF"}}, {"value_1": {"type": "VarValueLineCD"}, "type": "Parallel", "value_2": {"type": "VarValueLineEF"}}, {"type": "theorem_ParallelTrans"}], "blocks": {"And": {"inputs": [{"fields": [], "align": "left", "type": "statement_input", "name": "bool1", "check": null}, {"fields": [{"text": "et", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "bool2", "check": null}], "colour": 120, "next_statement": true, "tooltip": "Combine plusieurs propositions", "previous_statement": true}, "theorem_ParallelTrans": {"inputs": [{"fields": [{"text": "Si deux droites sont", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "parall\u00e8les \u00e0 une m\u00eame", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "troisi\u00e8me alors elles sont", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "parall\u00e8les entres elles", "type": "text"}], "align": "left", "type": "dummy_input"}], "colour": 23, "next_statement": true, "previous_statement": true}, "VarValueLineCD": {"colour": 330, "output": "Line", "compound": {"blocks": {"VarValueLine": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 330, "output": "Line"}}, "ast": {"type": "VarValueLine", "value": "(CD)"}}}, "Start": {"inputs": [{"fields": [{"text": "D\u00e9monstration", "type": "text"}], "align": "left", "type": "dummy_input"}], "on_event": "start", "creatable": false, "tooltip": "D\u00e9marrage de la d\u00e9monstration", "colour": 65, "next_statement": true}, "VarValueLineAB": {"colour": 330, "output": "Line", "compound": {"blocks": {"VarValueLine": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 330, "output": "Line"}}, "ast": {"type": "VarValueLine", "value": "(AB)"}}}, "Implication": {"inputs": [{"fields": [{"text": "On sait que", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "hypo", "check": null}, {"fields": [{"text": "or,", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "theo", "check": null}, {"fields": [{"text": "donc", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "concl", "check": null}], "colour": 120, "next_statement": true, "tooltip": "\u00c0 partir d'hypoth\u00e8ses et d'une propri\u00e9t\u00e9 d\u00e9montre un r\u00e9sultat", "previous_statement": true}, "VarValueLineEF": {"colour": 330, "output": "Line", "compound": {"blocks": {"VarValueLine": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 330, "output": "Line"}}, "ast": {"type": "VarValueLine", "value": "(EF)"}}}, "Parallel": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "value_1", "check": "Line"}, {"fields": [{"text": "//", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value_2", "check": "Line"}], "colour": 210, "next_statement": true, "previous_statement": true}}}, "ast": [[{"editable": false, "type": "Start", "deletable": false, "movable": false}]]}