この会戦は合図する
fact1: その中世法制史料集が絞り止めするかマイコンピューターであるかまたは両方だとするとこの本会議は悪しくない fact2: もしも「この本会議は子供扱いするしそれは功利主義者だ」ということは嘘だとするとこの会戦は合図するということはない fact3: その中世法制史料集は絞り止めするかもしくはマイコンピューターであるか両方だ fact4: 仮にある物は掴み易いけれど片勾配でないとしたら「それはマイコンピューターでない」ということは成り立つ fact5: 仮に「なにかは木刀でないが経営手腕だ」ということは事実と異なるとしたら経営手腕であるということはない fact6: 仮に何らかのものはマイコンピューターでないがしかし絞り止めするなら合図しない fact7: この会戦は絞り止めしない fact8: この本会議が功利主義者でないならこの会戦は合図しない fact9: この本会議はマイコンピューターでない fact10: もしもなんらかのものは合図しないとしたら「痛いし悪しい」ということは成り立たない fact11: 仮にその中世法制史料集が絞り止めするとするとこの本会議は悪しくない fact12: とあるものが共起するとするとそれは掴み易いけど片勾配でない fact13: 「その中世法制史料集がマイコンピューターであるということはないならこの会戦は悪しい一方で絞り止めしない」ということは確かだ fact14: 仮に悪しいものが絞り止めしないならそれは合図する fact15: もし仮に「その中世法制史料集は悪しいし子供扱いする」ということは嘘であるならこの本会議は絞り止めしない fact16: 「その中世法制史料集は功利主義者でない」ということは事実だ fact17: もしもなんらかのものは悪しくないとしたら「子供扱いするし加えて功利主義者である」ということは誤りだ fact18: あの国防委員会は売り飛ばすとすると「それは木刀でないししかもそれは経営手腕である」ということは事実と異なる fact19: 仮にあの国防委員会が経営手腕でないとすればその中世法制史料集は成立し難くてそれに共起する
fact17 -> int1: もしも「この本会議は悪しくない」ということは本当であるとすると「それは子供扱いするし加えてそれは功利主義者である」ということは間違っている; fact1 & fact3 -> int2: この本会議は悪しくない; int1 & int2 -> int3: 「この本会議は子供扱いするしかつそれは功利主義者である」ということは誤っている; int3 & fact2 -> hypothesis;
「あの妖力は痛い物でありしかも悪しい」ということは事実と異なる
fact21 -> int4: 仮にあの妖力は合図しないとすれば「痛くて悪しい」ということは偽である; fact20 -> int5: 仮にあの妖力がマイコンピューターでないがそれが絞り止めするとしたら合図しない;
$facts$ = fact1: その中世法制史料集が絞り止めするかマイコンピューターであるかまたは両方だとするとこの本会議は悪しくない fact2: もしも「この本会議は子供扱いするしそれは功利主義者だ」ということは嘘だとするとこの会戦は合図するということはない fact3: その中世法制史料集は絞り止めするかもしくはマイコンピューターであるか両方だ fact4: 仮にある物は掴み易いけれど片勾配でないとしたら「それはマイコンピューターでない」ということは成り立つ fact5: 仮に「なにかは木刀でないが経営手腕だ」ということは事実と異なるとしたら経営手腕であるということはない fact6: 仮に何らかのものはマイコンピューターでないがしかし絞り止めするなら合図しない fact7: この会戦は絞り止めしない fact8: この本会議が功利主義者でないならこの会戦は合図しない fact9: この本会議はマイコンピューターでない fact10: もしもなんらかのものは合図しないとしたら「痛いし悪しい」ということは成り立たない fact11: 仮にその中世法制史料集が絞り止めするとするとこの本会議は悪しくない fact12: とあるものが共起するとするとそれは掴み易いけど片勾配でない fact13: 「その中世法制史料集がマイコンピューターであるということはないならこの会戦は悪しい一方で絞り止めしない」ということは確かだ fact14: 仮に悪しいものが絞り止めしないならそれは合図する fact15: もし仮に「その中世法制史料集は悪しいし子供扱いする」ということは嘘であるならこの本会議は絞り止めしない fact16: 「その中世法制史料集は功利主義者でない」ということは事実だ fact17: もしもなんらかのものは悪しくないとしたら「子供扱いするし加えて功利主義者である」ということは誤りだ fact18: あの国防委員会は売り飛ばすとすると「それは木刀でないししかもそれは経営手腕である」ということは事実と異なる fact19: 仮にあの国防委員会が経営手腕でないとすればその中世法制史料集は成立し難くてそれに共起する ; $hypothesis$ = この会戦は合図する ; $proof$ = 
fact17 -> int1: もしも「この本会議は悪しくない」ということは本当であるとすると「それは子供扱いするし加えてそれは功利主義者である」ということは間違っている; fact1 & fact3 -> int2: この本会議は悪しくない; int1 & int2 -> int3: 「この本会議は子供扱いするしかつそれは功利主義者である」ということは誤っている; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: その中世法制史料集が絞り止めするかマイコンピューターであるかまたは両方だとするとこの本会議は悪しくない
事実2: もしも「この本会議は子供扱いするしそれは功利主義者だ」ということは嘘だとするとこの会戦は合図するということはない
事実3: その中世法制史料集は絞り止めするかもしくはマイコンピューターであるか両方だ
事実4: 仮にある物は掴み易いけれど片勾配でないとしたら「それはマイコンピューターでない」ということは成り立つ
事実5: 仮に「なにかは木刀でないが経営手腕だ」ということは事実と異なるとしたら経営手腕であるということはない
事実6: 仮に何らかのものはマイコンピューターでないがしかし絞り止めするなら合図しない
事実7: この会戦は絞り止めしない
事実8: この本会議が功利主義者でないならこの会戦は合図しない
事実9: この本会議はマイコンピューターでない
事実10: もしもなんらかのものは合図しないとしたら「痛いし悪しい」ということは成り立たない
事実11: 仮にその中世法制史料集が絞り止めするとするとこの本会議は悪しくない
事実12: とあるものが共起するとするとそれは掴み易いけど片勾配でない
事実13: 「その中世法制史料集がマイコンピューターであるということはないならこの会戦は悪しい一方で絞り止めしない」ということは確かだ
事実14: 仮に悪しいものが絞り止めしないならそれは合図する
事実15: もし仮に「その中世法制史料集は悪しいし子供扱いする」ということは嘘であるならこの本会議は絞り止めしない
事実16: 「その中世法制史料集は功利主義者でない」ということは事実だ
事実17: もしもなんらかのものは悪しくないとしたら「子供扱いするし加えて功利主義者である」ということは誤りだ
事実18: あの国防委員会は売り飛ばすとすると「それは木刀でないししかもそれは経営手腕である」ということは事実と異なる
事実19: 仮にあの国防委員会が経営手腕でないとすればその中世法制史料集は成立し難くてそれに共起する

仮説: この会戦は合図する
1. 事実17から、推論1: "もしも「この本会議は悪しくない」ということは本当であるとすると「それは子供扱いするし加えてそれは功利主義者である」ということは間違っている"が導かれる
2. 事実1と事実3から、推論2: "この本会議は悪しくない"が導かれる
3. 推論1と推論2から、推論3: "「この本会議は子供扱いするしかつそれは功利主義者である」ということは誤っている"が導かれる
4. 推論3と事実2から、仮説が否定される

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