「もし仮にあの通信教育が一括するならあの人間行為は循環しない」ということは嘘だ
fact1: この一般家庭は一括しない fact2: もしもあの通信教育が一括するとするとあの人間行為は循環する fact3: あの人間行為は山城屋でない fact4: このワンストップ・サービスは循環しない fact5: もしあの通信教育が一括するならそのキリスト教伝道は愛情深くない fact6: 仮に「あの通信教育は循環しない」ということは正しいとすればあの人間行為は一括するということはない fact7: その和解勧試は循環するということはない fact8: あの人間行為は一括する fact9: そのキリスト教伝道は循環する fact10: あの通信教育が愛情深いとするとあの人間行為は循環しない fact11: もしそのキリスト教伝道が愛情深くないとするとあの人間行為は循環する fact12: そのキリスト教伝道が循環するとしたらあの人間行為は愛情深いということはない fact13: もし仮にあの通信教育が一括するとすればこの特異抗体は循環しない fact14: あの通信教育は大手金融機関でない fact15: 「あの通信教育は循環する」ということは誤りでない fact16: 仮にあの人間行為が愛情深いならばそのキリスト教伝道は循環しない fact17: そのキリスト教伝道が愛情深くないとしたらあの人間行為は循環しない fact18: あの通信教育は注げない fact19: あの人間行為は循環する fact20: あの通信教育は作人でない fact21: あの対立抗争は循環しない fact22: もしあの人間行為が一括するということはないとしたらあの通信教育は循環しない
void -> assump1: 以下のように仮定する。あの通信教育は一括する; fact5 & assump1 -> int1: そのキリスト教伝道は愛情深くない; int1 & fact17 -> int2: あの人間行為は循環しない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この一般家庭は一括しない fact2: もしもあの通信教育が一括するとするとあの人間行為は循環する fact3: あの人間行為は山城屋でない fact4: このワンストップ・サービスは循環しない fact5: もしあの通信教育が一括するならそのキリスト教伝道は愛情深くない fact6: 仮に「あの通信教育は循環しない」ということは正しいとすればあの人間行為は一括するということはない fact7: その和解勧試は循環するということはない fact8: あの人間行為は一括する fact9: そのキリスト教伝道は循環する fact10: あの通信教育が愛情深いとするとあの人間行為は循環しない fact11: もしそのキリスト教伝道が愛情深くないとするとあの人間行為は循環する fact12: そのキリスト教伝道が循環するとしたらあの人間行為は愛情深いということはない fact13: もし仮にあの通信教育が一括するとすればこの特異抗体は循環しない fact14: あの通信教育は大手金融機関でない fact15: 「あの通信教育は循環する」ということは誤りでない fact16: 仮にあの人間行為が愛情深いならばそのキリスト教伝道は循環しない fact17: そのキリスト教伝道が愛情深くないとしたらあの人間行為は循環しない fact18: あの通信教育は注げない fact19: あの人間行為は循環する fact20: あの通信教育は作人でない fact21: あの対立抗争は循環しない fact22: もしあの人間行為が一括するということはないとしたらあの通信教育は循環しない ; $hypothesis$ = 「もし仮にあの通信教育が一括するならあの人間行為は循環しない」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの通信教育は一括する; fact5 & assump1 -> int1: そのキリスト教伝道は愛情深くない; int1 & fact17 -> int2: あの人間行為は循環しない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この一般家庭は一括しない
事実2: もしもあの通信教育が一括するとするとあの人間行為は循環する
事実3: あの人間行為は山城屋でない
事実4: このワンストップ・サービスは循環しない
事実5: もしあの通信教育が一括するならそのキリスト教伝道は愛情深くない
事実6: 仮に「あの通信教育は循環しない」ということは正しいとすればあの人間行為は一括するということはない
事実7: その和解勧試は循環するということはない
事実8: あの人間行為は一括する
事実9: そのキリスト教伝道は循環する
事実10: あの通信教育が愛情深いとするとあの人間行為は循環しない
事実11: もしそのキリスト教伝道が愛情深くないとするとあの人間行為は循環する
事実12: そのキリスト教伝道が循環するとしたらあの人間行為は愛情深いということはない
事実13: もし仮にあの通信教育が一括するとすればこの特異抗体は循環しない
事実14: あの通信教育は大手金融機関でない
事実15: 「あの通信教育は循環する」ということは誤りでない
事実16: 仮にあの人間行為が愛情深いならばそのキリスト教伝道は循環しない
事実17: そのキリスト教伝道が愛情深くないとしたらあの人間行為は循環しない
事実18: あの通信教育は注げない
事実19: あの人間行為は循環する
事実20: あの通信教育は作人でない
事実21: あの対立抗争は循環しない
事実22: もしあの人間行為が一括するということはないとしたらあの通信教育は循環しない

仮説: 「もし仮にあの通信教育が一括するならあの人間行為は循環しない」ということは嘘だ
1. 仮定1: 以下のように仮定する。あの通信教育は一括する
2. 事実5と仮定1から、推論1: "そのキリスト教伝道は愛情深くない"が導かれる
3. 推論1と事実17から、推論2: "あの人間行為は循環しない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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