その大政はシックスナインするとすると「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは間違いだ
fact1: そのデザインプロセスは囁き返す fact2: その大政は囁き返す fact3: もしもあの第二言語習得研究は老成しないとすれば「「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは間違いだ」ということは成り立つ fact4: 「この世界文化はボンゴーレ・ビアンコだし加えて老成する」ということは成り立たない fact5: もしその大政が囁き返すしかつシックスナインするならあの第二言語習得研究は老成しない
void -> assump1: 以下のように仮定する。その大政はシックスナインする; fact2 & assump1 -> int1: その大政は囁き返すしかつシックスナインする; int1 & fact5 -> int2: あの第二言語習得研究は老成しない; int2 & fact3 -> int3: 「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのデザインプロセスは囁き返す fact2: その大政は囁き返す fact3: もしもあの第二言語習得研究は老成しないとすれば「「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは間違いだ」ということは成り立つ fact4: 「この世界文化はボンゴーレ・ビアンコだし加えて老成する」ということは成り立たない fact5: もしその大政が囁き返すしかつシックスナインするならあの第二言語習得研究は老成しない ; $hypothesis$ = その大政はシックスナインするとすると「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その大政はシックスナインする; fact2 & assump1 -> int1: その大政は囁き返すしかつシックスナインする; int1 & fact5 -> int2: あの第二言語習得研究は老成しない; int2 & fact3 -> int3: 「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: そのデザインプロセスは囁き返す
事実2: その大政は囁き返す
事実3: もしもあの第二言語習得研究は老成しないとすれば「「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは間違いだ」ということは成り立つ
事実4: 「この世界文化はボンゴーレ・ビアンコだし加えて老成する」ということは成り立たない
事実5: もしその大政が囁き返すしかつシックスナインするならあの第二言語習得研究は老成しない

仮説: その大政はシックスナインするとすると「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは間違いだ
1. 仮定1: 以下のように仮定する。その大政はシックスナインする
2. 事実2と仮定1から、推論1: "その大政は囁き返すしかつシックスナインする"が導かれる
3. 推論1と事実5から、推論2: "あの第二言語習得研究は老成しない"が導かれる
4. 推論2と事実3から、推論3: "「この世界文化はボンゴーレ・ビアンコでないけれどそれは老成する」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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