この中間機はでっかくない
fact1: この選択科目は千九百九十年頃である fact2: この選択科目は千九百九十年頃だとすれば「日本商人だけれど分かり易くない」ということは本当でない fact3: もしもこの選択科目は千九百九十年頃であるとしたら「日本商人であるしそれは分かり易い」ということは間違いだ fact4: もし仮に「あるものはいがらっぽいが日本商人でない」ということは成り立たないならばそれはでっかい fact5: もし「この中間機はいがらっぽいけど罵らない」ということは成り立つということはないとすると「しゃあ無い」ということは事実だ fact6: もしもなにがしかのものは構え易くないならば「それは山深いがいがらっぽいということはない」ということは成り立たない fact7: もし仮にこの選択科目が山深いということはないならばその御親戚はでっかくない fact8: この選択科目は階級闘争でないが止み難い fact9: もし仮にこの選択科目がいがらっぽいならばこの中間機はでっかい fact10: もし仮にある物が分かり易いとしたらそれはいがらっぽい fact11: もし仮にこの中間機が構え易くないかまたは山深くないかまたはどちらもであるとするとこの選択科目は山深くない fact12: 「この中間機はでっかくて千九百九十年頃だ」ということは嘘だ fact13: この選択科目は人恋しい fact14: もしもなにがしかのものは階級闘争でないけど止み難いとすれば構え易くない fact15: もしも「なにがしかのものは日本商人だがしかし分かり易くない」ということは嘘であるならそれはいがらっぽい fact16: もしもこの選択科目が分かり易いとするといがらっぽい fact17: もし仮に「この肺呼吸は構え易いがしかし階級闘争でない」ということは成り立たないとすれば構え易くない fact18: 「この選択科目は日本商人であるし更に分かり易い」ということは成り立たない
fact2 & fact1 -> int1: 「この選択科目は日本商人だ一方で分かり易くない」ということは誤りである; fact15 -> int2: 仮に「この選択科目は日本商人だけれど分かり易いということはない」ということは誤りであるとすれば「それはいがらっぽい」ということは事実である; int1 & int2 -> int3: この選択科目はいがらっぽい; int3 & fact9 -> hypothesis;
fact2 & fact1 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact15 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact9 -> hypothesis;
その御親戚は千九百九十年頃である
$facts$ = fact1: この選択科目は千九百九十年頃である fact2: この選択科目は千九百九十年頃だとすれば「日本商人だけれど分かり易くない」ということは本当でない fact3: もしもこの選択科目は千九百九十年頃であるとしたら「日本商人であるしそれは分かり易い」ということは間違いだ fact4: もし仮に「あるものはいがらっぽいが日本商人でない」ということは成り立たないならばそれはでっかい fact5: もし「この中間機はいがらっぽいけど罵らない」ということは成り立つということはないとすると「しゃあ無い」ということは事実だ fact6: もしもなにがしかのものは構え易くないならば「それは山深いがいがらっぽいということはない」ということは成り立たない fact7: もし仮にこの選択科目が山深いということはないならばその御親戚はでっかくない fact8: この選択科目は階級闘争でないが止み難い fact9: もし仮にこの選択科目がいがらっぽいならばこの中間機はでっかい fact10: もし仮にある物が分かり易いとしたらそれはいがらっぽい fact11: もし仮にこの中間機が構え易くないかまたは山深くないかまたはどちらもであるとするとこの選択科目は山深くない fact12: 「この中間機はでっかくて千九百九十年頃だ」ということは嘘だ fact13: この選択科目は人恋しい fact14: もしもなにがしかのものは階級闘争でないけど止み難いとすれば構え易くない fact15: もしも「なにがしかのものは日本商人だがしかし分かり易くない」ということは嘘であるならそれはいがらっぽい fact16: もしもこの選択科目が分かり易いとするといがらっぽい fact17: もし仮に「この肺呼吸は構え易いがしかし階級闘争でない」ということは成り立たないとすれば構え易くない fact18: 「この選択科目は日本商人であるし更に分かり易い」ということは成り立たない ; $hypothesis$ = この中間機はでっかくない ; $proof$ = 
fact2 & fact1 -> int1: 「この選択科目は日本商人だ一方で分かり易くない」ということは誤りである; fact15 -> int2: 仮に「この選択科目は日本商人だけれど分かり易いということはない」ということは誤りであるとすれば「それはいがらっぽい」ということは事実である; int1 & int2 -> int3: この選択科目はいがらっぽい; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: この選択科目は千九百九十年頃である
事実2: この選択科目は千九百九十年頃だとすれば「日本商人だけれど分かり易くない」ということは本当でない
事実3: もしもこの選択科目は千九百九十年頃であるとしたら「日本商人であるしそれは分かり易い」ということは間違いだ
事実4: もし仮に「あるものはいがらっぽいが日本商人でない」ということは成り立たないならばそれはでっかい
事実5: もし「この中間機はいがらっぽいけど罵らない」ということは成り立つということはないとすると「しゃあ無い」ということは事実だ
事実6: もしもなにがしかのものは構え易くないならば「それは山深いがいがらっぽいということはない」ということは成り立たない
事実7: もし仮にこの選択科目が山深いということはないならばその御親戚はでっかくない
事実8: この選択科目は階級闘争でないが止み難い
事実9: もし仮にこの選択科目がいがらっぽいならばこの中間機はでっかい
事実10: もし仮にある物が分かり易いとしたらそれはいがらっぽい
事実11: もし仮にこの中間機が構え易くないかまたは山深くないかまたはどちらもであるとするとこの選択科目は山深くない
事実12: 「この中間機はでっかくて千九百九十年頃だ」ということは嘘だ
事実13: この選択科目は人恋しい
事実14: もしもなにがしかのものは階級闘争でないけど止み難いとすれば構え易くない
事実15: もしも「なにがしかのものは日本商人だがしかし分かり易くない」ということは嘘であるならそれはいがらっぽい
事実16: もしもこの選択科目が分かり易いとするといがらっぽい
事実17: もし仮に「この肺呼吸は構え易いがしかし階級闘争でない」ということは成り立たないとすれば構え易くない
事実18: 「この選択科目は日本商人であるし更に分かり易い」ということは成り立たない

仮説: この中間機はでっかくない
1. 事実2と事実1から、推論1: "「この選択科目は日本商人だ一方で分かり易くない」ということは誤りである"が導かれる
2. 事実15から、推論2: "仮に「この選択科目は日本商人だけれど分かり易いということはない」ということは誤りであるとすれば「それはいがらっぽい」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "この選択科目はいがらっぽい"が導かれる
4. 推論3と事実9から、仮説が否定される

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