「もしもその果樹外史がカップスでないとしたらあのアガパンサスは病気しない」ということは誤りである
fact1: その政管健保は病気する fact2: あのアガパンサスが発散しないとすればそれは病気する fact3: こよないものは麗しい fact4: もしある物が発散するとすればこよないかあるいは遺族給付でないかまたは両方ともだ fact5: もしあのアガパンサスがこよないとしたら麗しい fact6: その反響はこよない fact7: その果樹外史がカップスでないならばあのアガパンサスは病気する fact8: その果樹外史はこよない fact9: あのアガパンサスが麗しいとするとその果樹外史はカップスだ fact10: 仮にその果樹外史はカップスであるなら「あのアガパンサスは病気しない」ということは成り立つ fact11: なにかは奉公しないとするとそれは流れ続けない fact12: とあるものが発散しないならばそれは病気しない fact13: その果樹外史は難渋するかあるいはカップスでない fact14: もし仮になにがしかの物が発散しないとすれば病気する fact15: もしも何かはこよないかあるいはカップスでないかあるいは両方なら病気する fact16: なにかはこよないかあるいはそれは遺族給付でないかもしくは両方ともなら麗しい fact17: 「あの来館者はどでかくない」ということは間違っていない fact18: その果樹外史は遺族給付だということはない fact19: もし仮にその果樹外史はみっとも可愛くないとしたら「それは施工するということはない」ということは正しい
fact4 -> int1: もしあのアガパンサスが発散するとするとそれはこよないかもしくは遺族給付でないかまたはどちらもだ; void -> assump2: 以下のように仮定する。あのアガパンサスは発散する; int1 & assump2 -> int2: あのアガパンサスはこよないかまたは遺族給付でない; fact16 -> int3: もしも「あのアガパンサスはこよないかもしくは遺族給付でないかあるいはどちらもである」ということは正しいなら麗しい; int2 & int3 -> int4: あのアガパンサスは麗しい; int4 & fact9 -> int5: その果樹外史はカップスである; void -> assump1: 以下のように仮定する。その果樹外史はカップスでない; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: あのアガパンサスは発散しない; fact12 -> int8: もしあのアガパンサスは発散しないとすると「病気しない」ということは成り立つ; int7 & int8 -> int9: あのアガパンサスは病気しない; [assump1] & int9 -> hypothesis;
$facts$ = fact1: その政管健保は病気する fact2: あのアガパンサスが発散しないとすればそれは病気する fact3: こよないものは麗しい fact4: もしある物が発散するとすればこよないかあるいは遺族給付でないかまたは両方ともだ fact5: もしあのアガパンサスがこよないとしたら麗しい fact6: その反響はこよない fact7: その果樹外史がカップスでないならばあのアガパンサスは病気する fact8: その果樹外史はこよない fact9: あのアガパンサスが麗しいとするとその果樹外史はカップスだ fact10: 仮にその果樹外史はカップスであるなら「あのアガパンサスは病気しない」ということは成り立つ fact11: なにかは奉公しないとするとそれは流れ続けない fact12: とあるものが発散しないならばそれは病気しない fact13: その果樹外史は難渋するかあるいはカップスでない fact14: もし仮になにがしかの物が発散しないとすれば病気する fact15: もしも何かはこよないかあるいはカップスでないかあるいは両方なら病気する fact16: なにかはこよないかあるいはそれは遺族給付でないかもしくは両方ともなら麗しい fact17: 「あの来館者はどでかくない」ということは間違っていない fact18: その果樹外史は遺族給付だということはない fact19: もし仮にその果樹外史はみっとも可愛くないとしたら「それは施工するということはない」ということは正しい ; $hypothesis$ = 「もしもその果樹外史がカップスでないとしたらあのアガパンサスは病気しない」ということは誤りである ; $proof$ = 
fact4 -> int1: もしあのアガパンサスが発散するとするとそれはこよないかもしくは遺族給付でないかまたはどちらもだ; void -> assump2: 以下のように仮定する。あのアガパンサスは発散する; int1 & assump2 -> int2: あのアガパンサスはこよないかまたは遺族給付でない; fact16 -> int3: もしも「あのアガパンサスはこよないかもしくは遺族給付でないかあるいはどちらもである」ということは正しいなら麗しい; int2 & int3 -> int4: あのアガパンサスは麗しい; int4 & fact9 -> int5: その果樹外史はカップスである; void -> assump1: 以下のように仮定する。その果樹外史はカップスでない; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: あのアガパンサスは発散しない; fact12 -> int8: もしあのアガパンサスは発散しないとすると「病気しない」ということは成り立つ; int7 & int8 -> int9: あのアガパンサスは病気しない; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: その政管健保は病気する
事実2: あのアガパンサスが発散しないとすればそれは病気する
事実3: こよないものは麗しい
事実4: もしある物が発散するとすればこよないかあるいは遺族給付でないかまたは両方ともだ
事実5: もしあのアガパンサスがこよないとしたら麗しい
事実6: その反響はこよない
事実7: その果樹外史がカップスでないならばあのアガパンサスは病気する
事実8: その果樹外史はこよない
事実9: あのアガパンサスが麗しいとするとその果樹外史はカップスだ
事実10: 仮にその果樹外史はカップスであるなら「あのアガパンサスは病気しない」ということは成り立つ
事実11: なにかは奉公しないとするとそれは流れ続けない
事実12: とあるものが発散しないならばそれは病気しない
事実13: その果樹外史は難渋するかあるいはカップスでない
事実14: もし仮になにがしかの物が発散しないとすれば病気する
事実15: もしも何かはこよないかあるいはカップスでないかあるいは両方なら病気する
事実16: なにかはこよないかあるいはそれは遺族給付でないかもしくは両方ともなら麗しい
事実17: 「あの来館者はどでかくない」ということは間違っていない
事実18: その果樹外史は遺族給付だということはない
事実19: もし仮にその果樹外史はみっとも可愛くないとしたら「それは施工するということはない」ということは正しい

仮説: 「もしもその果樹外史がカップスでないとしたらあのアガパンサスは病気しない」ということは誤りである
1. 事実4から、推論1: "もしあのアガパンサスが発散するとするとそれはこよないかもしくは遺族給付でないかまたはどちらもだ"が導かれる
2. 仮定2: 以下のように仮定する。あのアガパンサスは発散する
3. 推論1と仮定2から、推論2: "あのアガパンサスはこよないかまたは遺族給付でない"が導かれる
4. 事実16から、推論3: "もしも「あのアガパンサスはこよないかもしくは遺族給付でないかあるいはどちらもである」ということは正しいなら麗しい"が導かれる
5. 推論2と推論3から、推論4: "あのアガパンサスは麗しい"が導かれる
6. 推論4と事実9から、推論5: "その果樹外史はカップスである"が導かれる
7. 仮定1: 以下のように仮定する。その果樹外史はカップスでない
8. 推論5と仮定1から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "あのアガパンサスは発散しない"が導かれる
10. 事実12から、推論8: "もしあのアガパンサスは発散しないとすると「病気しない」ということは成り立つ"が導かれる
11. 推論7と推論8から、推論9: "あのアガパンサスは病気しない"が導かれる
12. [仮定1]と推論9から、仮説が否定される

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