「あの禅即庭は限り無しないししかも御爺ちゃん御ばあちゃんでない」ということは偽である
fact1: この御見舞い金は先学達でない fact2: あの荘園図は限り無しない fact3: この御見舞い金は履行しない fact4: もしもなんらかのものは履行しなくてそれに先学達でないとすると御爺ちゃん御ばあちゃんでない fact5: この御見舞い金は借り入れない fact6: 仮に限り無しない物が先学達でないとすればそれは御爺ちゃん御ばあちゃんであるということはない fact7: もしもとあるものが履行するということはないし限り無しないなら御爺ちゃん御ばあちゃんだということはない fact8: もし仮に何かは履行しないなら「限り無しということはなくて御爺ちゃん御ばあちゃんでない」ということは嘘だ fact9: この御見舞い金は見苦しくなくてルーシーズでない fact10: あの禅即庭は求職するということはない fact11: この御見舞い金は墓地跡でない fact12: あの発作型は日本人らしくないしそれに限り無しない fact13: もし仮に「この御見舞い金は御爺ちゃん御ばあちゃんだということはない」ということは本当であるとすればあの禅即庭は限り無しない fact14: あの水飴は解明しなくて履行しない fact15: 「あの仲直りは履行しないし借り入れない」ということは事実だ fact16: この御見舞い金は苦々しかないし正しくない fact17: 仮にこの御見舞い金が御爺ちゃん御ばあちゃんでないならばあの禅即庭は限り無しないしそれは御爺ちゃん御ばあちゃんでない fact18: この護憲は限り無しないし潔くない fact19: この高年齢者雇用安定法は限り無しない fact20: その吉良一家は先学達でない fact21: 仮にこの御見舞い金が限り無しないならあの禅即庭は履行しなくてそれは限り無しない fact22: あの禅即庭は限り無しない fact23: 仮になんらかのものは限り無しということはないしかつ御爺ちゃん御ばあちゃんでないならばそれは先学達でない
fact3 & fact1 -> int1: この御見舞い金は履行しなくて更に先学達でない; fact4 -> int2: もし仮にこの御見舞い金は履行しないし先学達でないならそれは御爺ちゃん御ばあちゃんでない; int1 & int2 -> int3: 「この御見舞い金は御爺ちゃん御ばあちゃんでない」ということは成り立つ; int3 & fact17 -> hypothesis;
「あの禅即庭は限り無しないしかつ御爺ちゃん御ばあちゃんでない」ということは偽である
fact24 -> int4: 仮にあの禅即庭は履行しないとすると「限り無しないし御爺ちゃん御ばあちゃんでない」ということは成り立つということはない;
$facts$ = fact1: この御見舞い金は先学達でない fact2: あの荘園図は限り無しない fact3: この御見舞い金は履行しない fact4: もしもなんらかのものは履行しなくてそれに先学達でないとすると御爺ちゃん御ばあちゃんでない fact5: この御見舞い金は借り入れない fact6: 仮に限り無しない物が先学達でないとすればそれは御爺ちゃん御ばあちゃんであるということはない fact7: もしもとあるものが履行するということはないし限り無しないなら御爺ちゃん御ばあちゃんだということはない fact8: もし仮に何かは履行しないなら「限り無しということはなくて御爺ちゃん御ばあちゃんでない」ということは嘘だ fact9: この御見舞い金は見苦しくなくてルーシーズでない fact10: あの禅即庭は求職するということはない fact11: この御見舞い金は墓地跡でない fact12: あの発作型は日本人らしくないしそれに限り無しない fact13: もし仮に「この御見舞い金は御爺ちゃん御ばあちゃんだということはない」ということは本当であるとすればあの禅即庭は限り無しない fact14: あの水飴は解明しなくて履行しない fact15: 「あの仲直りは履行しないし借り入れない」ということは事実だ fact16: この御見舞い金は苦々しかないし正しくない fact17: 仮にこの御見舞い金が御爺ちゃん御ばあちゃんでないならばあの禅即庭は限り無しないしそれは御爺ちゃん御ばあちゃんでない fact18: この護憲は限り無しないし潔くない fact19: この高年齢者雇用安定法は限り無しない fact20: その吉良一家は先学達でない fact21: 仮にこの御見舞い金が限り無しないならあの禅即庭は履行しなくてそれは限り無しない fact22: あの禅即庭は限り無しない fact23: 仮になんらかのものは限り無しということはないしかつ御爺ちゃん御ばあちゃんでないならばそれは先学達でない ; $hypothesis$ = 「あの禅即庭は限り無しないししかも御爺ちゃん御ばあちゃんでない」ということは偽である ; $proof$ = 
fact3 & fact1 -> int1: この御見舞い金は履行しなくて更に先学達でない; fact4 -> int2: もし仮にこの御見舞い金は履行しないし先学達でないならそれは御爺ちゃん御ばあちゃんでない; int1 & int2 -> int3: 「この御見舞い金は御爺ちゃん御ばあちゃんでない」ということは成り立つ; int3 & fact17 -> hypothesis; __DISPROVED__
事実1: この御見舞い金は先学達でない
事実2: あの荘園図は限り無しない
事実3: この御見舞い金は履行しない
事実4: もしもなんらかのものは履行しなくてそれに先学達でないとすると御爺ちゃん御ばあちゃんでない
事実5: この御見舞い金は借り入れない
事実6: 仮に限り無しない物が先学達でないとすればそれは御爺ちゃん御ばあちゃんであるということはない
事実7: もしもとあるものが履行するということはないし限り無しないなら御爺ちゃん御ばあちゃんだということはない
事実8: もし仮に何かは履行しないなら「限り無しということはなくて御爺ちゃん御ばあちゃんでない」ということは嘘だ
事実9: この御見舞い金は見苦しくなくてルーシーズでない
事実10: あの禅即庭は求職するということはない
事実11: この御見舞い金は墓地跡でない
事実12: あの発作型は日本人らしくないしそれに限り無しない
事実13: もし仮に「この御見舞い金は御爺ちゃん御ばあちゃんだということはない」ということは本当であるとすればあの禅即庭は限り無しない
事実14: あの水飴は解明しなくて履行しない
事実15: 「あの仲直りは履行しないし借り入れない」ということは事実だ
事実16: この御見舞い金は苦々しかないし正しくない
事実17: 仮にこの御見舞い金が御爺ちゃん御ばあちゃんでないならばあの禅即庭は限り無しないしそれは御爺ちゃん御ばあちゃんでない
事実18: この護憲は限り無しないし潔くない
事実19: この高年齢者雇用安定法は限り無しない
事実20: その吉良一家は先学達でない
事実21: 仮にこの御見舞い金が限り無しないならあの禅即庭は履行しなくてそれは限り無しない
事実22: あの禅即庭は限り無しない
事実23: 仮になんらかのものは限り無しということはないしかつ御爺ちゃん御ばあちゃんでないならばそれは先学達でない

仮説: 「あの禅即庭は限り無しないししかも御爺ちゃん御ばあちゃんでない」ということは偽である
1. 事実3と事実1から、推論1: "この御見舞い金は履行しなくて更に先学達でない"が導かれる
2. 事実4から、推論2: "もし仮にこの御見舞い金は履行しないし先学達でないならそれは御爺ちゃん御ばあちゃんでない"が導かれる
3. 推論1と推論2から、推論3: "「この御見舞い金は御爺ちゃん御ばあちゃんでない」ということは成り立つ"が導かれる
4. 推論3と事実17から、仮説が否定される

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