このドイツ空軍は熱し易いかあるいは合併契約書であるということはないかあるいは両方ともである
fact1: 仮にその辻褄合わせは思想・言論であるならそれは対応し得る fact2: 「その隷従は落ち難くないが編纂・発行する」ということは正しくないとするとあの色名は付加しない fact3: その辻褄合わせは思想・言論だ fact4: 移住民は思想・言論でない fact5: その隷従が落ち難くないが編纂・発行するならその辻褄合わせは対応し得ない fact6: もしその辻褄合わせが移住民だとすればその隷従は移住民だ fact7: 仮にあの色名は付加するということはないとしたら「このドイツ空軍は熱し易いかもしくは合併契約書でない」ということは事実と異なる fact8: 「あの色名は消失点でない」ということは真実であるならばその辻褄合わせは守り易くてかつ移住民だ fact9: もしもその隷従は思想・言論だということはないとすれば「それは対応し得る一方で付加しない」ということは嘘である fact10: 「あの色名は落ち難い」ということは本当である
void -> assump1: 以下のように仮定する。「その隷従は落ち難くない一方でそれは編纂・発行する」ということは確かだ; fact5 & assump1 -> int1: その辻褄合わせは対応し得ない; fact1 & fact3 -> int2: その辻褄合わせは対応し得る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その隷従は落ち難くないが編纂・発行する」ということは成り立たない; int4 & fact2 -> int5: あの色名は付加しない; int5 & fact7 -> hypothesis;
このドイツ空軍は熱し易いかそれは合併契約書だということはない
fact14 -> int6: もしもその隷従は移住民であるとすれば思想・言論であるということはない;
$facts$ = fact1: 仮にその辻褄合わせは思想・言論であるならそれは対応し得る fact2: 「その隷従は落ち難くないが編纂・発行する」ということは正しくないとするとあの色名は付加しない fact3: その辻褄合わせは思想・言論だ fact4: 移住民は思想・言論でない fact5: その隷従が落ち難くないが編纂・発行するならその辻褄合わせは対応し得ない fact6: もしその辻褄合わせが移住民だとすればその隷従は移住民だ fact7: 仮にあの色名は付加するということはないとしたら「このドイツ空軍は熱し易いかもしくは合併契約書でない」ということは事実と異なる fact8: 「あの色名は消失点でない」ということは真実であるならばその辻褄合わせは守り易くてかつ移住民だ fact9: もしもその隷従は思想・言論だということはないとすれば「それは対応し得る一方で付加しない」ということは嘘である fact10: 「あの色名は落ち難い」ということは本当である ; $hypothesis$ = このドイツ空軍は熱し易いかあるいは合併契約書であるということはないかあるいは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。「その隷従は落ち難くない一方でそれは編纂・発行する」ということは確かだ; fact5 & assump1 -> int1: その辻褄合わせは対応し得ない; fact1 & fact3 -> int2: その辻褄合わせは対応し得る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その隷従は落ち難くないが編纂・発行する」ということは成り立たない; int4 & fact2 -> int5: あの色名は付加しない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にその辻褄合わせは思想・言論であるならそれは対応し得る
事実2: 「その隷従は落ち難くないが編纂・発行する」ということは正しくないとするとあの色名は付加しない
事実3: その辻褄合わせは思想・言論だ
事実4: 移住民は思想・言論でない
事実5: その隷従が落ち難くないが編纂・発行するならその辻褄合わせは対応し得ない
事実6: もしその辻褄合わせが移住民だとすればその隷従は移住民だ
事実7: 仮にあの色名は付加するということはないとしたら「このドイツ空軍は熱し易いかもしくは合併契約書でない」ということは事実と異なる
事実8: 「あの色名は消失点でない」ということは真実であるならばその辻褄合わせは守り易くてかつ移住民だ
事実9: もしもその隷従は思想・言論だということはないとすれば「それは対応し得る一方で付加しない」ということは嘘である
事実10: 「あの色名は落ち難い」ということは本当である

仮説: このドイツ空軍は熱し易いかあるいは合併契約書であるということはないかあるいは両方ともである
1. 仮定1: 以下のように仮定する。「その隷従は落ち難くない一方でそれは編纂・発行する」ということは確かだ
2. 事実5と仮定1から、推論1: "その辻褄合わせは対応し得ない"が導かれる
3. 事実1と事実3から、推論2: "その辻褄合わせは対応し得る"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その隷従は落ち難くないが編纂・発行する」ということは成り立たない"が導かれる
6. 推論4と事実2から、推論5: "あの色名は付加しない"が導かれる
7. 推論5と事実7から、仮説が否定される

よって、仮説が否定されました。