その中世以来は着せがましいか薬臭くない
fact1: とあるものは漉し取らないならば「それはハイリスク児でなくてまた勝ち残れない」ということは成り立つということはない fact2: ある物は共鳴し合う fact3: あの噛み付きごっこが漉し取るならその中世以来は着せがましい fact4: もしあの神経幹細胞移植群が五号機であるならばあの噛み付きごっこは五号機だ fact5: もし化学的刺激は封建都市でないとすると恨みがましい fact6: あの噛み付きごっこは共鳴し合うということはない fact7: もしもこの予審判事は封建都市なら「あの神経幹細胞移植群は五号機だ」ということは正しい fact8: もしも何らかのものが漉し取るということはないかそれが着せがましかないなら漉し取らない fact9: もしもあの噛み付きごっこは五号機だとすると「その中世以来が漉し取る一方で恨みはましくらない」ということは成り立たない fact10: もしあの噛み付きごっこが理解し辛いとするとそれは化学的刺激でそれにそれは封建都市でない fact11: もし「とある物は漉し取るが恨みはましくらない」ということは間違っていれば漉し取らない fact12: とあるものは漉し取るということはないとしたら「着せがましいか薬臭くないかまたは両方ともである」ということは間違っている fact13: 仮にあの噛み付きごっこが薬臭くないがしかし五号機であるとすればその中世以来は薬臭くない fact14: その中世以来は漉し取るか着せがましかないかあるいは両方だ fact15: 恨みがましいものは薬臭くない一方で五号機である fact16: 薬臭くない物は漉し取らないかまたは着せがましかないかあるいはどちらもである fact17: もし仮に「共鳴し合う」ものはあるなら「あの噛み付きごっこは共鳴し合わないしさらにそれは奉公しない」ということは誤りである fact18: 仮にあの噛み付きごっこが漉し取るということはないとすれば共鳴し合わないしかつ奉公しない
void -> assump1: 以下のように仮定する。あの噛み付きごっこは漉し取らない; fact18 & assump1 -> int1: 「あの噛み付きごっこは共鳴し合わなくてしかも奉公しない」ということは真実である; fact2 & fact17 -> int2: 「あの噛み付きごっこは共鳴し合うということはなくて更に奉公しない」ということは偽だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの噛み付きごっこは漉し取る」ということは事実である; int4 & fact3 -> int5: その中世以来は着せがましい; int5 -> hypothesis;
「その中世以来はハイリスク児でなくてまたそれは勝ち残れない」ということは間違いだ
fact19 -> int6: もしもその中世以来は漉し取らないとしたら「ハイリスク児でなくてしかも勝ち残れない」ということは成り立たない; fact22 -> int7: 仮にその中世以来が漉し取るということはないか着せがましかないかあるいは両方だとすればそれは漉し取らない; fact21 -> int8: 「その中世以来は薬臭くない」ということは正しいとすればそれは漉し取るということはないか着せがましかないかあるいは両方だ; fact23 -> int9: 仮にあの噛み付きごっこが恨みがましいならそれは薬臭いということはないけれど五号機だ; fact25 -> int10: 「もし仮にあの噛み付きごっこが化学的刺激であるけどそれは封建都市でないなら「あの噛み付きごっこは恨みがましい」ということは成り立つ」ということは真実だ;
$facts$ = fact1: とあるものは漉し取らないならば「それはハイリスク児でなくてまた勝ち残れない」ということは成り立つということはない fact2: ある物は共鳴し合う fact3: あの噛み付きごっこが漉し取るならその中世以来は着せがましい fact4: もしあの神経幹細胞移植群が五号機であるならばあの噛み付きごっこは五号機だ fact5: もし化学的刺激は封建都市でないとすると恨みがましい fact6: あの噛み付きごっこは共鳴し合うということはない fact7: もしもこの予審判事は封建都市なら「あの神経幹細胞移植群は五号機だ」ということは正しい fact8: もしも何らかのものが漉し取るということはないかそれが着せがましかないなら漉し取らない fact9: もしもあの噛み付きごっこは五号機だとすると「その中世以来が漉し取る一方で恨みはましくらない」ということは成り立たない fact10: もしあの噛み付きごっこが理解し辛いとするとそれは化学的刺激でそれにそれは封建都市でない fact11: もし「とある物は漉し取るが恨みはましくらない」ということは間違っていれば漉し取らない fact12: とあるものは漉し取るということはないとしたら「着せがましいか薬臭くないかまたは両方ともである」ということは間違っている fact13: 仮にあの噛み付きごっこが薬臭くないがしかし五号機であるとすればその中世以来は薬臭くない fact14: その中世以来は漉し取るか着せがましかないかあるいは両方だ fact15: 恨みがましいものは薬臭くない一方で五号機である fact16: 薬臭くない物は漉し取らないかまたは着せがましかないかあるいはどちらもである fact17: もし仮に「共鳴し合う」ものはあるなら「あの噛み付きごっこは共鳴し合わないしさらにそれは奉公しない」ということは誤りである fact18: 仮にあの噛み付きごっこが漉し取るということはないとすれば共鳴し合わないしかつ奉公しない ; $hypothesis$ = その中世以来は着せがましいか薬臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの噛み付きごっこは漉し取らない; fact18 & assump1 -> int1: 「あの噛み付きごっこは共鳴し合わなくてしかも奉公しない」ということは真実である; fact2 & fact17 -> int2: 「あの噛み付きごっこは共鳴し合うということはなくて更に奉公しない」ということは偽だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの噛み付きごっこは漉し取る」ということは事実である; int4 & fact3 -> int5: その中世以来は着せがましい; int5 -> hypothesis; __PROVED__
事実1: とあるものは漉し取らないならば「それはハイリスク児でなくてまた勝ち残れない」ということは成り立つということはない
事実2: ある物は共鳴し合う
事実3: あの噛み付きごっこが漉し取るならその中世以来は着せがましい
事実4: もしあの神経幹細胞移植群が五号機であるならばあの噛み付きごっこは五号機だ
事実5: もし化学的刺激は封建都市でないとすると恨みがましい
事実6: あの噛み付きごっこは共鳴し合うということはない
事実7: もしもこの予審判事は封建都市なら「あの神経幹細胞移植群は五号機だ」ということは正しい
事実8: もしも何らかのものが漉し取るということはないかそれが着せがましかないなら漉し取らない
事実9: もしもあの噛み付きごっこは五号機だとすると「その中世以来が漉し取る一方で恨みはましくらない」ということは成り立たない
事実10: もしあの噛み付きごっこが理解し辛いとするとそれは化学的刺激でそれにそれは封建都市でない
事実11: もし「とある物は漉し取るが恨みはましくらない」ということは間違っていれば漉し取らない
事実12: とあるものは漉し取るということはないとしたら「着せがましいか薬臭くないかまたは両方ともである」ということは間違っている
事実13: 仮にあの噛み付きごっこが薬臭くないがしかし五号機であるとすればその中世以来は薬臭くない
事実14: その中世以来は漉し取るか着せがましかないかあるいは両方だ
事実15: 恨みがましいものは薬臭くない一方で五号機である
事実16: 薬臭くない物は漉し取らないかまたは着せがましかないかあるいはどちらもである
事実17: もし仮に「共鳴し合う」ものはあるなら「あの噛み付きごっこは共鳴し合わないしさらにそれは奉公しない」ということは誤りである
事実18: 仮にあの噛み付きごっこが漉し取るということはないとすれば共鳴し合わないしかつ奉公しない

仮説: その中世以来は着せがましいか薬臭くない
1. 仮定1: 以下のように仮定する。あの噛み付きごっこは漉し取らない
2. 事実18と仮定1から、推論1: "「あの噛み付きごっこは共鳴し合わなくてしかも奉公しない」ということは真実である"が導かれる
3. 事実2と事実17から、推論2: "「あの噛み付きごっこは共鳴し合うということはなくて更に奉公しない」ということは偽だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの噛み付きごっこは漉し取る」ということは事実である"が導かれる
6. 推論4と事実3から、推論5: "その中世以来は着せがましい"が導かれる
7. 推論5から、仮説が導かれる

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