あの遣る気は大細胞群でない
fact1: 「縮まるけれどオペレーティングでない」ものはある fact2: もし仮になにがしかのものが水晶振動子であるとすればこの聖ヒラム騎士団は頑是無いか物々しかないか両方ともだ fact3: とあるものはオペレーティングでない fact4: この宗教右派は捕獲数だしさらに弱い fact5: 仮に「そのミッドウェイ海戦は拘泥しない」ということは正しいとしたらあの成人前は五百年後でないけどそれは本当らしい fact6: もしこの聖ヒラム騎士団が頑是無いかあるいは物々しかないかどちらもであるとしたらこの宗教右派は洋風化である fact7: なにがしかのものは水晶振動子だ fact8: あの誘導は残り易い fact9: 「「縮まらなくてオペレーティングでない」ということは正しい」物はある fact10: オペレーティングは縮まる fact11: 残り易い物は本当らしい fact12: もし「縮まらなくてかつオペレーティングでない」ものがあるとするとあの遣る気は残り易い fact13: 洋風化は信号諜報活動だ fact14: 仮に「縮まらなくてまたオペレーティングである」物があればあの遣る気は残り易い fact15: もし何らかのものが五百年後でないしその上拘泥しないならばそれは大細胞群でない fact16: 仮にこの宗教右派が御労しくてさらに弱いとすればそのミッドウェイ海戦は拘泥しない fact17: 忘れ難い物は大人っぽい fact18: 「ソマリア人だということはないしまた受容体でない」物はある fact19: 仮になにがしかの物が本当らしいならそれは大細胞群だ fact20: 残り易い物はオペレーティングである fact21: もしもなにかは信号諜報活動であるとすると御労しい fact22: もしあの成人前が五百年後でない一方で本当らしいならばこの戦闘シーンは残り易い
fact9 & fact12 -> int1: あの遣る気は残り易い; fact11 -> int2: もしあの遣る気が残り易いとすると本当らしい; int1 & int2 -> int3: あの遣る気は本当らしい; fact19 -> int4: もしもあの遣る気が本当らしいとすると大細胞群だ; int3 & int4 -> hypothesis;
あの遣る気は大細胞群でない
fact26 -> int5: もしもこの戦闘シーンが残り易いならオペレーティングである; fact29 -> int6: もしもこの宗教右派が信号諜報活動ならばそれは御労しい; fact27 -> int7: 仮にこの宗教右派は洋風化であるとすれば「それは信号諜報活動である」ということは事実である; fact32 & fact30 -> int8: この聖ヒラム騎士団は頑是無いかもしくは物々しかない; fact23 & int8 -> int9: この宗教右派は洋風化だ; int7 & int9 -> int10: この宗教右派は信号諜報活動である; int6 & int10 -> int11: この宗教右派は御労しい; fact31 -> int12: この宗教右派は弱い; int11 & int12 -> int13: この宗教右派は御労しくておまけに弱い; fact28 & int13 -> int14: そのミッドウェイ海戦は拘泥しない; fact24 & int14 -> int15: 「あの成人前は五百年後でないけれど本当らしい」ということは成り立つ; fact25 & int15 -> int16: この戦闘シーンは残り易い; int5 & int16 -> int17: この戦闘シーンはオペレーティングである; int17 -> int18: オペレーティングはある;
$facts$ = fact1: 「縮まるけれどオペレーティングでない」ものはある fact2: もし仮になにがしかのものが水晶振動子であるとすればこの聖ヒラム騎士団は頑是無いか物々しかないか両方ともだ fact3: とあるものはオペレーティングでない fact4: この宗教右派は捕獲数だしさらに弱い fact5: 仮に「そのミッドウェイ海戦は拘泥しない」ということは正しいとしたらあの成人前は五百年後でないけどそれは本当らしい fact6: もしこの聖ヒラム騎士団が頑是無いかあるいは物々しかないかどちらもであるとしたらこの宗教右派は洋風化である fact7: なにがしかのものは水晶振動子だ fact8: あの誘導は残り易い fact9: 「「縮まらなくてオペレーティングでない」ということは正しい」物はある fact10: オペレーティングは縮まる fact11: 残り易い物は本当らしい fact12: もし「縮まらなくてかつオペレーティングでない」ものがあるとするとあの遣る気は残り易い fact13: 洋風化は信号諜報活動だ fact14: 仮に「縮まらなくてまたオペレーティングである」物があればあの遣る気は残り易い fact15: もし何らかのものが五百年後でないしその上拘泥しないならばそれは大細胞群でない fact16: 仮にこの宗教右派が御労しくてさらに弱いとすればそのミッドウェイ海戦は拘泥しない fact17: 忘れ難い物は大人っぽい fact18: 「ソマリア人だということはないしまた受容体でない」物はある fact19: 仮になにがしかの物が本当らしいならそれは大細胞群だ fact20: 残り易い物はオペレーティングである fact21: もしもなにかは信号諜報活動であるとすると御労しい fact22: もしあの成人前が五百年後でない一方で本当らしいならばこの戦闘シーンは残り易い ; $hypothesis$ = あの遣る気は大細胞群でない ; $proof$ = 
fact9 & fact12 -> int1: あの遣る気は残り易い; fact11 -> int2: もしあの遣る気が残り易いとすると本当らしい; int1 & int2 -> int3: あの遣る気は本当らしい; fact19 -> int4: もしもあの遣る気が本当らしいとすると大細胞群だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「縮まるけれどオペレーティングでない」ものはある
事実2: もし仮になにがしかのものが水晶振動子であるとすればこの聖ヒラム騎士団は頑是無いか物々しかないか両方ともだ
事実3: とあるものはオペレーティングでない
事実4: この宗教右派は捕獲数だしさらに弱い
事実5: 仮に「そのミッドウェイ海戦は拘泥しない」ということは正しいとしたらあの成人前は五百年後でないけどそれは本当らしい
事実6: もしこの聖ヒラム騎士団が頑是無いかあるいは物々しかないかどちらもであるとしたらこの宗教右派は洋風化である
事実7: なにがしかのものは水晶振動子だ
事実8: あの誘導は残り易い
事実9: 「「縮まらなくてオペレーティングでない」ということは正しい」物はある
事実10: オペレーティングは縮まる
事実11: 残り易い物は本当らしい
事実12: もし「縮まらなくてかつオペレーティングでない」ものがあるとするとあの遣る気は残り易い
事実13: 洋風化は信号諜報活動だ
事実14: 仮に「縮まらなくてまたオペレーティングである」物があればあの遣る気は残り易い
事実15: もし何らかのものが五百年後でないしその上拘泥しないならばそれは大細胞群でない
事実16: 仮にこの宗教右派が御労しくてさらに弱いとすればそのミッドウェイ海戦は拘泥しない
事実17: 忘れ難い物は大人っぽい
事実18: 「ソマリア人だということはないしまた受容体でない」物はある
事実19: 仮になにがしかの物が本当らしいならそれは大細胞群だ
事実20: 残り易い物はオペレーティングである
事実21: もしもなにかは信号諜報活動であるとすると御労しい
事実22: もしあの成人前が五百年後でない一方で本当らしいならばこの戦闘シーンは残り易い

仮説: あの遣る気は大細胞群でない
1. 事実9と事実12から、推論1: "あの遣る気は残り易い"が導かれる
2. 事実11から、推論2: "もしあの遣る気が残り易いとすると本当らしい"が導かれる
3. 推論1と推論2から、推論3: "あの遣る気は本当らしい"が導かれる
4. 事実19から、推論4: "もしもあの遣る気が本当らしいとすると大細胞群だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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