その全治は思い易いということはなくてまた呼び捨てない
fact1: 思い易くない物は仲裁委員でなくておまけに近親者中でない fact2: もし仮に「この首回りはぬるぬるする」ということは成り立つなら「その全治は思い易くないしそれに呼び捨てない」ということは誤っている fact3: もし仮になにかは近侍しないとしたら「それはケミカルでないが今頃である」ということは成り立たない fact4: その全治は遇すない fact5: もしこの首回りが喉笛ならあの寒色系は近侍する fact6: 濃いものが冷たくないとすれば思い易いということはない fact7: 「もしも「ある物は濃い一方で冷たくない」ということは成り立たないならばそれはぬるぬるしない」ということは成り立つ fact8: もし仮に「なんらかのものは呼び捨てないかまたはぬるぬるしないかまたは両方ともである」ということは成り立たないとするとそれは思い易くない fact9: 仮になんらかのものが遇すないし更にそれはケミカルでないとすると今頃でない fact10: もし仮にその全治はふてぶてしいが濃くないなら「それは掃除し易くない」ということは正しい fact11: もし仮に何かは今頃だということはないなら「それは呼び捨てないかまたはぬるぬるしないか両方ともである」ということは嘘だ fact12: あるものはケミカルでない fact13: 「この織姫はぬるぬるするということはない」ということは確かだ fact14: もしも「「ケミカルでない」ということは確かである」ものがあるとするとその全治は呼び捨てない fact15: 仮に「その集計科目はケミカルでない一方でそれは今頃である」ということは成り立たないとしたらこの首回りは今頃である fact16: この語全体は遇すない fact17: もしその全治が遇すないとするとぬるぬるするしおまけにそれは今頃である fact18: もし仮にあの寒色系が近侍するならそれは遇すないしケミカルでない fact19: 「その集計科目は凭れ合うけど蛮行でない」ということは誤りだ
fact7 -> int1: もし「その全治は濃い一方でそれは冷たくない」ということは成り立たないとすればそれはぬるぬるしない; void -> assump1: 以下のように仮定する。「その全治は濃いがそれは冷たくない」ということは成り立たない; int1 & assump1 -> int2: その全治はぬるぬるしない; fact4 & fact17 -> int3: その全治はぬるぬるするしおまけにそれは今頃だ; int3 -> int4: その全治はぬるぬるする; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その全治は濃いけど冷たくない」ということは成り立つ; fact6 -> int7: もしその全治が濃いがそれが冷たくないとするとそれは思い易くない; int6 & int7 -> int8: その全治は思い易くない; fact12 & fact14 -> int9: その全治は呼び捨てるということはない; int8 & int9 -> hypothesis;
「その全治は思い易いということはないしそれは呼び捨てるということはない」ということは偽だ
fact22 -> int10: もし仮にその集計科目は近侍しないなら「ケミカルでないしかつ今頃だ」ということは間違いである;
$facts$ = fact1: 思い易くない物は仲裁委員でなくておまけに近親者中でない fact2: もし仮に「この首回りはぬるぬるする」ということは成り立つなら「その全治は思い易くないしそれに呼び捨てない」ということは誤っている fact3: もし仮になにかは近侍しないとしたら「それはケミカルでないが今頃である」ということは成り立たない fact4: その全治は遇すない fact5: もしこの首回りが喉笛ならあの寒色系は近侍する fact6: 濃いものが冷たくないとすれば思い易いということはない fact7: 「もしも「ある物は濃い一方で冷たくない」ということは成り立たないならばそれはぬるぬるしない」ということは成り立つ fact8: もし仮に「なんらかのものは呼び捨てないかまたはぬるぬるしないかまたは両方ともである」ということは成り立たないとするとそれは思い易くない fact9: 仮になんらかのものが遇すないし更にそれはケミカルでないとすると今頃でない fact10: もし仮にその全治はふてぶてしいが濃くないなら「それは掃除し易くない」ということは正しい fact11: もし仮に何かは今頃だということはないなら「それは呼び捨てないかまたはぬるぬるしないか両方ともである」ということは嘘だ fact12: あるものはケミカルでない fact13: 「この織姫はぬるぬるするということはない」ということは確かだ fact14: もしも「「ケミカルでない」ということは確かである」ものがあるとするとその全治は呼び捨てない fact15: 仮に「その集計科目はケミカルでない一方でそれは今頃である」ということは成り立たないとしたらこの首回りは今頃である fact16: この語全体は遇すない fact17: もしその全治が遇すないとするとぬるぬるするしおまけにそれは今頃である fact18: もし仮にあの寒色系が近侍するならそれは遇すないしケミカルでない fact19: 「その集計科目は凭れ合うけど蛮行でない」ということは誤りだ ; $hypothesis$ = その全治は思い易いということはなくてまた呼び捨てない ; $proof$ = 
fact7 -> int1: もし「その全治は濃い一方でそれは冷たくない」ということは成り立たないとすればそれはぬるぬるしない; void -> assump1: 以下のように仮定する。「その全治は濃いがそれは冷たくない」ということは成り立たない; int1 & assump1 -> int2: その全治はぬるぬるしない; fact4 & fact17 -> int3: その全治はぬるぬるするしおまけにそれは今頃だ; int3 -> int4: その全治はぬるぬるする; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その全治は濃いけど冷たくない」ということは成り立つ; fact6 -> int7: もしその全治が濃いがそれが冷たくないとするとそれは思い易くない; int6 & int7 -> int8: その全治は思い易くない; fact12 & fact14 -> int9: その全治は呼び捨てるということはない; int8 & int9 -> hypothesis; __PROVED__
事実1: 思い易くない物は仲裁委員でなくておまけに近親者中でない
事実2: もし仮に「この首回りはぬるぬるする」ということは成り立つなら「その全治は思い易くないしそれに呼び捨てない」ということは誤っている
事実3: もし仮になにかは近侍しないとしたら「それはケミカルでないが今頃である」ということは成り立たない
事実4: その全治は遇すない
事実5: もしこの首回りが喉笛ならあの寒色系は近侍する
事実6: 濃いものが冷たくないとすれば思い易いということはない
事実7: 「もしも「ある物は濃い一方で冷たくない」ということは成り立たないならばそれはぬるぬるしない」ということは成り立つ
事実8: もし仮に「なんらかのものは呼び捨てないかまたはぬるぬるしないかまたは両方ともである」ということは成り立たないとするとそれは思い易くない
事実9: 仮になんらかのものが遇すないし更にそれはケミカルでないとすると今頃でない
事実10: もし仮にその全治はふてぶてしいが濃くないなら「それは掃除し易くない」ということは正しい
事実11: もし仮に何かは今頃だということはないなら「それは呼び捨てないかまたはぬるぬるしないか両方ともである」ということは嘘だ
事実12: あるものはケミカルでない
事実13: 「この織姫はぬるぬるするということはない」ということは確かだ
事実14: もしも「「ケミカルでない」ということは確かである」ものがあるとするとその全治は呼び捨てない
事実15: 仮に「その集計科目はケミカルでない一方でそれは今頃である」ということは成り立たないとしたらこの首回りは今頃である
事実16: この語全体は遇すない
事実17: もしその全治が遇すないとするとぬるぬるするしおまけにそれは今頃である
事実18: もし仮にあの寒色系が近侍するならそれは遇すないしケミカルでない
事実19: 「その集計科目は凭れ合うけど蛮行でない」ということは誤りだ

仮説: その全治は思い易いということはなくてまた呼び捨てない
1. 事実7から、推論1: "もし「その全治は濃い一方でそれは冷たくない」ということは成り立たないとすればそれはぬるぬるしない"が導かれる
2. 仮定1: 以下のように仮定する。「その全治は濃いがそれは冷たくない」ということは成り立たない
3. 推論1と仮定1から、推論2: "その全治はぬるぬるしない"が導かれる
4. 事実4と事実17から、推論3: "その全治はぬるぬるするしおまけにそれは今頃だ"が導かれる
5. 推論3から、推論4: "その全治はぬるぬるする"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その全治は濃いけど冷たくない」ということは成り立つ"が導かれる
8. 事実6から、推論7: "もしその全治が濃いがそれが冷たくないとするとそれは思い易くない"が導かれる
9. 推論6と推論7から、推論8: "その全治は思い易くない"が導かれる
10. 事実12と事実14から、推論9: "その全治は呼び捨てるということはない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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