そのストップボタンは物珍しくない
fact1: もしなんらかの物は探索すということはないとしたら「それは物珍しくて第二ラウンドである」ということは誤りである fact2: もし仮にその製造計画が追求出来るしその上それが物珍しいとするとそのストップボタンは物珍しくない fact3: その製造計画が空しかないとすればそれは探索すらない fact4: その製造計画がネパール人だけどそれは真ん丸くない fact5: 「追求出来る」物はある fact6: 「ファックする」物はある fact7: その製造計画は追求出来る fact8: 仮に「とある物は食料品であるかされ易い」ということは嘘であるとしたらそれは嘗め取らない fact9: もしもそのメモ書きが食料品でないとしたらそのストップボタンはされ易くない fact10: そのストップボタンは証紙だ fact11: 仮に「その製造計画は物珍しいしそれは第二ラウンドである」ということは成り立たないとしたら物珍しいということはない fact12: もし仮にその製造計画がネパール人であるがそれが真ん丸くないならそれは空しかない fact13: 仮にそのメモ書きは食料品でないとすれば「そのストップボタンは食料品であるかそれはされ易いかまたは両方である」ということは成り立つということはない fact14: この在宅患者はファックする fact15: もしその製造計画がファックするならばあのＥボタンは追求出来る fact16: その製造計画はファックする fact17: 「なにかは嘗め取るし物珍しい」ということは成り立つ fact18: もし仮に何らかのものが食料品でないとするとファックするか追求出来るか両方である fact19: 仮に「追求出来るししかもファックする」物があるならばあのメモ書きは食料品でない fact20: そのストップボタンはされ易くない fact21: 仮にそのストップボタンが嘗め取らないとするとそれは物珍しい
fact7 & fact16 -> int1: その製造計画は追求出来るしかつそれはファックする; int1 -> int2: なにがしかのものは追求出来るしファックする; int2 & fact19 -> int3: そのメモ書きは食料品でない; int3 & fact13 -> int4: 「「そのストップボタンは食料品であるかまたはされ易い」ということは正しい」ということは事実でない; fact8 -> int5: 仮に「そのストップボタンは食料品であるかされ易いかもしくはどちらもである」ということは偽であるとすれば嘗め取らない; int4 & int5 -> int6: そのストップボタンは嘗め取らない; int6 & fact21 -> hypothesis;
そのストップボタンは物珍しくない
$facts$ = fact1: もしなんらかの物は探索すということはないとしたら「それは物珍しくて第二ラウンドである」ということは誤りである fact2: もし仮にその製造計画が追求出来るしその上それが物珍しいとするとそのストップボタンは物珍しくない fact3: その製造計画が空しかないとすればそれは探索すらない fact4: その製造計画がネパール人だけどそれは真ん丸くない fact5: 「追求出来る」物はある fact6: 「ファックする」物はある fact7: その製造計画は追求出来る fact8: 仮に「とある物は食料品であるかされ易い」ということは嘘であるとしたらそれは嘗め取らない fact9: もしもそのメモ書きが食料品でないとしたらそのストップボタンはされ易くない fact10: そのストップボタンは証紙だ fact11: 仮に「その製造計画は物珍しいしそれは第二ラウンドである」ということは成り立たないとしたら物珍しいということはない fact12: もし仮にその製造計画がネパール人であるがそれが真ん丸くないならそれは空しかない fact13: 仮にそのメモ書きは食料品でないとすれば「そのストップボタンは食料品であるかそれはされ易いかまたは両方である」ということは成り立つということはない fact14: この在宅患者はファックする fact15: もしその製造計画がファックするならばあのＥボタンは追求出来る fact16: その製造計画はファックする fact17: 「なにかは嘗め取るし物珍しい」ということは成り立つ fact18: もし仮に何らかのものが食料品でないとするとファックするか追求出来るか両方である fact19: 仮に「追求出来るししかもファックする」物があるならばあのメモ書きは食料品でない fact20: そのストップボタンはされ易くない fact21: 仮にそのストップボタンが嘗め取らないとするとそれは物珍しい ; $hypothesis$ = そのストップボタンは物珍しくない ; $proof$ = 
fact7 & fact16 -> int1: その製造計画は追求出来るしかつそれはファックする; int1 -> int2: なにがしかのものは追求出来るしファックする; int2 & fact19 -> int3: そのメモ書きは食料品でない; int3 & fact13 -> int4: 「「そのストップボタンは食料品であるかまたはされ易い」ということは正しい」ということは事実でない; fact8 -> int5: 仮に「そのストップボタンは食料品であるかされ易いかもしくはどちらもである」ということは偽であるとすれば嘗め取らない; int4 & int5 -> int6: そのストップボタンは嘗め取らない; int6 & fact21 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は探索すということはないとしたら「それは物珍しくて第二ラウンドである」ということは誤りである
事実2: もし仮にその製造計画が追求出来るしその上それが物珍しいとするとそのストップボタンは物珍しくない
事実3: その製造計画が空しかないとすればそれは探索すらない
事実4: その製造計画がネパール人だけどそれは真ん丸くない
事実5: 「追求出来る」物はある
事実6: 「ファックする」物はある
事実7: その製造計画は追求出来る
事実8: 仮に「とある物は食料品であるかされ易い」ということは嘘であるとしたらそれは嘗め取らない
事実9: もしもそのメモ書きが食料品でないとしたらそのストップボタンはされ易くない
事実10: そのストップボタンは証紙だ
事実11: 仮に「その製造計画は物珍しいしそれは第二ラウンドである」ということは成り立たないとしたら物珍しいということはない
事実12: もし仮にその製造計画がネパール人であるがそれが真ん丸くないならそれは空しかない
事実13: 仮にそのメモ書きは食料品でないとすれば「そのストップボタンは食料品であるかそれはされ易いかまたは両方である」ということは成り立つということはない
事実14: この在宅患者はファックする
事実15: もしその製造計画がファックするならばあのＥボタンは追求出来る
事実16: その製造計画はファックする
事実17: 「なにかは嘗め取るし物珍しい」ということは成り立つ
事実18: もし仮に何らかのものが食料品でないとするとファックするか追求出来るか両方である
事実19: 仮に「追求出来るししかもファックする」物があるならばあのメモ書きは食料品でない
事実20: そのストップボタンはされ易くない
事実21: 仮にそのストップボタンが嘗め取らないとするとそれは物珍しい

仮説: そのストップボタンは物珍しくない
1. 事実7と事実16から、推論1: "その製造計画は追求出来るしかつそれはファックする"が導かれる
2. 推論1から、推論2: "なにがしかのものは追求出来るしファックする"が導かれる
3. 推論2と事実19から、推論3: "そのメモ書きは食料品でない"が導かれる
4. 推論3と事実13から、推論4: "「「そのストップボタンは食料品であるかまたはされ易い」ということは正しい」ということは事実でない"が導かれる
5. 事実8から、推論5: "仮に「そのストップボタンは食料品であるかされ易いかもしくはどちらもである」ということは偽であるとすれば嘗め取らない"が導かれる
6. 推論4と推論5から、推論6: "そのストップボタンは嘗め取らない"が導かれる
7. 推論6と事実21から、仮説が否定される

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