その高麗人参は誑かさない
fact1: その使い易さは破れ難い fact2: もし仮に「その千五百人は駆け戻らないし渡船だということはない」ということは成り立たないならばそれは苦笑いしない fact3: 「その千五百人は駆け戻らなくて渡船でない」ということは成り立たない fact4: その至り君は飲み易くない fact5: 仮にケースワーク関係が労労じないとすればそれは誑かす fact6: もしその使い易さが決め難くないとするとそれは首尾良いということはなくてそれは働き出すということはない fact7: もしその至り君がケースワーク関係でないならその高麗人参はケースワーク関係だけれど労労じない fact8: もしもその使い易さが飲み易くてさらに破れ難いとすれば決め難いということはない fact9: その千五百人が飲み易いがしかしそれが誑かさないとしたらその高麗人参は誑かさない fact10: もしその使い易さがケースワーク関係だということはないならその至り君はケースワーク関係だけれど首尾良くない fact11: もし仮にその千五百人は駆け戻らないとしたら「その使い易さは渡船だ」ということは確かである fact12: もしその使い易さが首尾良くなくてそれが働き出さないならばその至り君はケースワーク関係でない fact13: 「もし仮にその千五百人が苦笑いしないならその使い易さは飲み易い」ということは事実だ fact14: あの恐怖表は転じるし働き出す
fact2 & fact3 -> int1: その千五百人は苦笑いしない; int1 & fact13 -> int2: 「その使い易さは飲み易い」ということは成り立つ; int2 & fact1 -> int3: その使い易さは飲み易いしおまけに破れ難い; int3 & fact8 -> int4: その使い易さは決め難くない; int4 & fact6 -> int5: その使い易さは首尾良くないしそれに働き出さない; int5 & fact12 -> int6: その至り君はケースワーク関係だということはない; int6 & fact7 -> int7: その高麗人参はケースワーク関係であるがしかし労労じない; fact5 -> int8: その高麗人参はケースワーク関係だ一方で労労じということはないなら誑かす; int7 & int8 -> hypothesis;
その高麗人参は誑かさない
$facts$ = fact1: その使い易さは破れ難い fact2: もし仮に「その千五百人は駆け戻らないし渡船だということはない」ということは成り立たないならばそれは苦笑いしない fact3: 「その千五百人は駆け戻らなくて渡船でない」ということは成り立たない fact4: その至り君は飲み易くない fact5: 仮にケースワーク関係が労労じないとすればそれは誑かす fact6: もしその使い易さが決め難くないとするとそれは首尾良いということはなくてそれは働き出すということはない fact7: もしその至り君がケースワーク関係でないならその高麗人参はケースワーク関係だけれど労労じない fact8: もしもその使い易さが飲み易くてさらに破れ難いとすれば決め難いということはない fact9: その千五百人が飲み易いがしかしそれが誑かさないとしたらその高麗人参は誑かさない fact10: もしその使い易さがケースワーク関係だということはないならその至り君はケースワーク関係だけれど首尾良くない fact11: もし仮にその千五百人は駆け戻らないとしたら「その使い易さは渡船だ」ということは確かである fact12: もしその使い易さが首尾良くなくてそれが働き出さないならばその至り君はケースワーク関係でない fact13: 「もし仮にその千五百人が苦笑いしないならその使い易さは飲み易い」ということは事実だ fact14: あの恐怖表は転じるし働き出す ; $hypothesis$ = その高麗人参は誑かさない ; $proof$ = 
fact2 & fact3 -> int1: その千五百人は苦笑いしない; int1 & fact13 -> int2: 「その使い易さは飲み易い」ということは成り立つ; int2 & fact1 -> int3: その使い易さは飲み易いしおまけに破れ難い; int3 & fact8 -> int4: その使い易さは決め難くない; int4 & fact6 -> int5: その使い易さは首尾良くないしそれに働き出さない; int5 & fact12 -> int6: その至り君はケースワーク関係だということはない; int6 & fact7 -> int7: その高麗人参はケースワーク関係であるがしかし労労じない; fact5 -> int8: その高麗人参はケースワーク関係だ一方で労労じということはないなら誑かす; int7 & int8 -> hypothesis; __DISPROVED__
事実1: その使い易さは破れ難い
事実2: もし仮に「その千五百人は駆け戻らないし渡船だということはない」ということは成り立たないならばそれは苦笑いしない
事実3: 「その千五百人は駆け戻らなくて渡船でない」ということは成り立たない
事実4: その至り君は飲み易くない
事実5: 仮にケースワーク関係が労労じないとすればそれは誑かす
事実6: もしその使い易さが決め難くないとするとそれは首尾良いということはなくてそれは働き出すということはない
事実7: もしその至り君がケースワーク関係でないならその高麗人参はケースワーク関係だけれど労労じない
事実8: もしもその使い易さが飲み易くてさらに破れ難いとすれば決め難いということはない
事実9: その千五百人が飲み易いがしかしそれが誑かさないとしたらその高麗人参は誑かさない
事実10: もしその使い易さがケースワーク関係だということはないならその至り君はケースワーク関係だけれど首尾良くない
事実11: もし仮にその千五百人は駆け戻らないとしたら「その使い易さは渡船だ」ということは確かである
事実12: もしその使い易さが首尾良くなくてそれが働き出さないならばその至り君はケースワーク関係でない
事実13: 「もし仮にその千五百人が苦笑いしないならその使い易さは飲み易い」ということは事実だ
事実14: あの恐怖表は転じるし働き出す

仮説: その高麗人参は誑かさない
1. 事実2と事実3から、推論1: "その千五百人は苦笑いしない"が導かれる
2. 推論1と事実13から、推論2: "「その使い易さは飲み易い」ということは成り立つ"が導かれる
3. 推論2と事実1から、推論3: "その使い易さは飲み易いしおまけに破れ難い"が導かれる
4. 推論3と事実8から、推論4: "その使い易さは決め難くない"が導かれる
5. 推論4と事実6から、推論5: "その使い易さは首尾良くないしそれに働き出さない"が導かれる
6. 推論5と事実12から、推論6: "その至り君はケースワーク関係だということはない"が導かれる
7. 推論6と事実7から、推論7: "その高麗人参はケースワーク関係であるがしかし労労じない"が導かれる
8. 事実5から、推論8: "その高麗人参はケースワーク関係だ一方で労労じということはないなら誑かす"が導かれる
9. 推論7と推論8から、仮説が否定される

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