その記録ビデオは初優勝する
fact1: もし「その献堂式は新入りでない」ということは成り立つとするとこのノードは補完出来るかまたはそれは当隊でないか両方だ fact2: あの十七軍は見果てる fact3: その古代史研究は日焼けするしそれに現われ難い fact4: その記録ビデオは擦り洗いするし更にレンタカー・チェーンである fact5: もし仮にその古代史研究は日焼けするし現われ難いとすれば「あの五惑星は根気強いということはない」ということは真実だ fact6: もし仮にその最終期が行列踊りならばそれは関与する fact7: 仮に何かは行列踊りだとしたら「関与するしその上初優勝しない」ということは間違いだ fact8: もしも「危うし」物があるとすればこのノードは生産能力であるがそれは否定し得ない fact9: もし仮にその最終期が関与するしそれが見果てればその記録ビデオは初優勝するということはない fact10: その最終期は行列踊りだ fact11: その最終期は乳化するし加えて嫉妬深い fact12: 「「浄化する」ということは確かである」ものがあるとしたらその第二東京弁護士会は浄化するか新入りでないか両方である fact13: このノードは行列踊りだ fact14: もしもその記録ビデオが行列踊りでおまけに関与するとすれば「その最終期は初優勝しない」ということは本当だ fact15: この受信感度は関与する fact16: もし仮にその記録ビデオが合い難いならばそれは関与する fact17: もしなにがしかの物が補完出来るかもしくは当隊だということはないかまたは両方だとすれば見果てない fact18: もしも生産能力は否定し得ないとしたら「それはやばくない」ということは確かだ fact19: あの五惑星が根気強くないとするとそれは擦り洗いするし浄化する fact20: その第二東京弁護士会が浄化するかもしくはそれが新入りでないならその献堂式は新入りでない fact21: 「「危うし」ということは間違いであるということはない」物はある fact22: もし仮に「何らかのものは関与するけれど初優勝するということはない」ということは偽だとしたらそれは初優勝する fact23: その最終期は見果てる fact24: その最終期は華々しい
fact6 & fact10 -> int1: その最終期は関与する; int1 & fact23 -> int2: その最終期は関与するしまた見果てる; int2 & fact9 -> hypothesis;
その記録ビデオは初優勝する
fact30 -> int3: このノードが生産能力であるけれどそれは否定し得ないとすればやばいということはない; fact32 & fact33 -> int4: このノードは生産能力であるけどそれは否定し得るということはない; int3 & int4 -> int5: このノードはやばくない; fact28 -> int6: もし「このノードは補完出来るかまたは当隊でない」ということは成り立てば見果てない; fact25 & fact27 -> int7: あの五惑星は根気強くない; fact31 & int7 -> int8: あの五惑星は擦り洗いするし浄化する; int8 -> int9: あの五惑星は浄化する; int9 -> int10: 「「浄化する」ということは真実である」物はある; int10 & fact29 -> int11: その第二東京弁護士会は浄化するかもしくは新入りでないか両方ともだ; fact34 & int11 -> int12: その献堂式は新入りでない; fact26 & int12 -> int13: このノードは補完出来るかもしくは当隊でないかあるいは両方である; int6 & int13 -> int14: 「このノードは見果てない」ということは確かである; int5 & int14 -> int15: このノードはやばくなくて見果てない; int15 -> int16: なにがしかのものはやばいということはなくて更に見果てない;
$facts$ = fact1: もし「その献堂式は新入りでない」ということは成り立つとするとこのノードは補完出来るかまたはそれは当隊でないか両方だ fact2: あの十七軍は見果てる fact3: その古代史研究は日焼けするしそれに現われ難い fact4: その記録ビデオは擦り洗いするし更にレンタカー・チェーンである fact5: もし仮にその古代史研究は日焼けするし現われ難いとすれば「あの五惑星は根気強いということはない」ということは真実だ fact6: もし仮にその最終期が行列踊りならばそれは関与する fact7: 仮に何かは行列踊りだとしたら「関与するしその上初優勝しない」ということは間違いだ fact8: もしも「危うし」物があるとすればこのノードは生産能力であるがそれは否定し得ない fact9: もし仮にその最終期が関与するしそれが見果てればその記録ビデオは初優勝するということはない fact10: その最終期は行列踊りだ fact11: その最終期は乳化するし加えて嫉妬深い fact12: 「「浄化する」ということは確かである」ものがあるとしたらその第二東京弁護士会は浄化するか新入りでないか両方である fact13: このノードは行列踊りだ fact14: もしもその記録ビデオが行列踊りでおまけに関与するとすれば「その最終期は初優勝しない」ということは本当だ fact15: この受信感度は関与する fact16: もし仮にその記録ビデオが合い難いならばそれは関与する fact17: もしなにがしかの物が補完出来るかもしくは当隊だということはないかまたは両方だとすれば見果てない fact18: もしも生産能力は否定し得ないとしたら「それはやばくない」ということは確かだ fact19: あの五惑星が根気強くないとするとそれは擦り洗いするし浄化する fact20: その第二東京弁護士会が浄化するかもしくはそれが新入りでないならその献堂式は新入りでない fact21: 「「危うし」ということは間違いであるということはない」物はある fact22: もし仮に「何らかのものは関与するけれど初優勝するということはない」ということは偽だとしたらそれは初優勝する fact23: その最終期は見果てる fact24: その最終期は華々しい ; $hypothesis$ = その記録ビデオは初優勝する ; $proof$ = 
fact6 & fact10 -> int1: その最終期は関与する; int1 & fact23 -> int2: その最終期は関与するしまた見果てる; int2 & fact9 -> 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: その最終期は見果てる
事実24: その最終期は華々しい

仮説: その記録ビデオは初優勝する
1. 事実6と事実10から、推論1: "その最終期は関与する"が導かれる
2. 推論1と事実23から、推論2: "その最終期は関与するしまた見果てる"が導かれる
3. 推論2と事実9から、仮説が否定される

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