仮にその生色が意味空間でないとすればそのジャック・Ｔは戻し易くないけれど双魚図だ
fact1: もしもその生色が双魚図でないとしたらそのジャック・Ｔは戻し易くない fact2: そのジャック・Ｔは戻し易いということはない fact3: 仮にその生色が意味空間だとすればそれは双魚図でない fact4: 「仮にその生色が意味空間でないとすればその生色は双魚図でない」ということは事実である fact5: 仮にその生色が意味空間でないならそのジャック・Ｔは戻し易くない fact6: もしもその生色が双魚図でないとしたらそのジャック・Ｔは戻し易くないけどそれは双魚図だ
void -> assump1: 以下のように仮定する。その生色は意味空間でない; fact4 & assump1 -> int1: その生色は双魚図でない; int1 & fact6 -> int2: そのジャック・Ｔは戻し易くないけど双魚図だ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもその生色が双魚図でないとしたらそのジャック・Ｔは戻し易くない fact2: そのジャック・Ｔは戻し易いということはない fact3: 仮にその生色が意味空間だとすればそれは双魚図でない fact4: 「仮にその生色が意味空間でないとすればその生色は双魚図でない」ということは事実である fact5: 仮にその生色が意味空間でないならそのジャック・Ｔは戻し易くない fact6: もしもその生色が双魚図でないとしたらそのジャック・Ｔは戻し易くないけどそれは双魚図だ ; $hypothesis$ = 仮にその生色が意味空間でないとすればそのジャック・Ｔは戻し易くないけれど双魚図だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その生色は意味空間でない; fact4 & assump1 -> int1: その生色は双魚図でない; int1 & fact6 -> int2: そのジャック・Ｔは戻し易くないけど双魚図だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもその生色が双魚図でないとしたらそのジャック・Ｔは戻し易くない
事実2: そのジャック・Ｔは戻し易いということはない
事実3: 仮にその生色が意味空間だとすればそれは双魚図でない
事実4: 「仮にその生色が意味空間でないとすればその生色は双魚図でない」ということは事実である
事実5: 仮にその生色が意味空間でないならそのジャック・Ｔは戻し易くない
事実6: もしもその生色が双魚図でないとしたらそのジャック・Ｔは戻し易くないけどそれは双魚図だ

仮説: 仮にその生色が意味空間でないとすればそのジャック・Ｔは戻し易くないけれど双魚図だ
1. 仮定1: 以下のように仮定する。その生色は意味空間でない
2. 事実4と仮定1から、推論1: "その生色は双魚図でない"が導かれる
3. 推論1と事実6から、推論2: "そのジャック・Ｔは戻し易くないけど双魚図だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。