あのライトスタンドは疚しい
fact1: もし「「振り切れる」ということは成り立つ」ものはあるなら「この抄物は線路幅だがしかし発揮し難くない」ということは正しい fact2: 「この殺人未遂罪は監査論だということはない」ということは成り立つ fact3: なにかは薬物治療でないとすると「発揮し難いしそれに感じ易い」ということは成り立たない fact4: 仮にこの抄物が線路幅だがしかしそれが発揮し難くないとしたらこの受けは発揮し難いということはない fact5: この自己意識は本質でないかもしくはそれは叩き売るかまたはどちらもだ fact6: この自己意識は本質でないかそれは叩き売らない fact7: 「もしも何らかの物は姉らしいということはないならば「被覆するしさらにそれはつべたくない」ということは偽だ」ということは確かだ fact8: この殺人未遂罪がつべたいならその愚劣は惚け行く fact9: もしこの自己意識が感じ易いとすればあの受けは越冬する fact10: もし仮に「この自己意識は発揮し難いが感じ易くない」ということは成り立つということはないとすればこの受けは越冬する fact11: もしも「この自己意識は越冬するけれど薬物治療でない」ということは成り立たないならこの受けは感じ易い fact12: もし「なんらかの物は線路幅であるし振り切れる」ということは成り立つということはないとしたら振り切れない fact13: 仮にこの殺人未遂罪は監査論であるということはないならつべたいしさらに語り始める fact14: この受けが越冬するが振り切れないとしたらあのライトスタンドは疚しくない fact15: この受けは発揮し難いということはないとしたら「この自己意識は薬物治療であるしかつそれは越冬する」ということは成り立たない fact16: 「この自己意識は発揮し難いしさらに感じ易い」ということは嘘だ fact17: もし仮にこの自己意識が叩き売らないとすれば薬物治療だということはない fact18: もしもこの自己意識は薬物治療でないとすれば「それは発揮し難いしそれに感じ易い」ということは事実と異なる fact19: この自己意識は線路幅でない fact20: 「この受けが線路幅だし振り切れる」ということは間違いである fact21: なんらかのものは薬物治療でないとすれば「それは発揮し難くてそれは感じ易くない」ということは事実と異なる fact22: 仮にこの自己意識は本質でないか叩き売らないかあるいは両方ともだとするとそれは薬物治療であるということはない fact23: あのライトスタンドは保証出来るということはない fact24: 仮にあのライトスタンドが叩き売る一方で疚しくないとするとこの自己意識は本質でない fact25: もしとある物が惚け行くなら振り切れる
fact22 & fact6 -> int1: この自己意識は薬物治療でない; fact21 -> int2: もしこの自己意識は薬物治療でないとしたら「発揮し難いしその上感じ易くない」ということは嘘である; int1 & int2 -> int3: 「「この自己意識は発揮し難いけれど感じ易くない」ということは成り立たない」ということは確かである; int3 & fact10 -> int4: この受けは越冬する; fact12 -> int5: 仮に「この受けは線路幅だし加えて振り切れる」ということは嘘だとすれば「それは振り切れるということはない」ということは真実である; fact20 & int5 -> int6: この受けは振り切れるということはない; int4 & int6 -> int7: この受けは越冬するけれど振り切れない; int7 & fact14 -> hypothesis;
「あのライトスタンドは疚しい」ということは間違っていない
fact28 -> int8: もし仮に「その愚劣は惚け行く」ということは偽でないなら振り切れる; fact29 & fact31 -> int9: この殺人未遂罪はつべたいし加えて語り始める; int9 -> int10: この殺人未遂罪はつべたい; fact27 & int10 -> int11: その愚劣は惚け行く; int8 & int11 -> int12: その愚劣は振り切れる; int12 -> int13: 「振り切れる」ものはある; int13 & fact32 -> int14: この抄物は線路幅であるけど発揮し難くない; fact30 & int14 -> int15: この受けは発揮し難くない; fact26 & int15 -> int16: 「この自己意識が薬物治療だしさらに越冬する」ということは真実でない; int16 -> int17: 「「薬物治療でその上越冬する」ということは間違いな」ものはある;
$facts$ = fact1: もし「「振り切れる」ということは成り立つ」ものはあるなら「この抄物は線路幅だがしかし発揮し難くない」ということは正しい fact2: 「この殺人未遂罪は監査論だということはない」ということは成り立つ fact3: なにかは薬物治療でないとすると「発揮し難いしそれに感じ易い」ということは成り立たない fact4: 仮にこの抄物が線路幅だがしかしそれが発揮し難くないとしたらこの受けは発揮し難いということはない fact5: この自己意識は本質でないかもしくはそれは叩き売るかまたはどちらもだ fact6: この自己意識は本質でないかそれは叩き売らない fact7: 「もしも何らかの物は姉らしいということはないならば「被覆するしさらにそれはつべたくない」ということは偽だ」ということは確かだ fact8: この殺人未遂罪がつべたいならその愚劣は惚け行く fact9: もしこの自己意識が感じ易いとすればあの受けは越冬する fact10: もし仮に「この自己意識は発揮し難いが感じ易くない」ということは成り立つということはないとすればこの受けは越冬する fact11: もしも「この自己意識は越冬するけれど薬物治療でない」ということは成り立たないならこの受けは感じ易い fact12: もし「なんらかの物は線路幅であるし振り切れる」ということは成り立つということはないとしたら振り切れない fact13: 仮にこの殺人未遂罪は監査論であるということはないならつべたいしさらに語り始める fact14: この受けが越冬するが振り切れないとしたらあのライトスタンドは疚しくない fact15: この受けは発揮し難いということはないとしたら「この自己意識は薬物治療であるしかつそれは越冬する」ということは成り立たない fact16: 「この自己意識は発揮し難いしさらに感じ易い」ということは嘘だ fact17: もし仮にこの自己意識が叩き売らないとすれば薬物治療だということはない fact18: もしもこの自己意識は薬物治療でないとすれば「それは発揮し難いしそれに感じ易い」ということは事実と異なる fact19: この自己意識は線路幅でない fact20: 「この受けが線路幅だし振り切れる」ということは間違いである fact21: なんらかのものは薬物治療でないとすれば「それは発揮し難くてそれは感じ易くない」ということは事実と異なる fact22: 仮にこの自己意識は本質でないか叩き売らないかあるいは両方ともだとするとそれは薬物治療であるということはない fact23: あのライトスタンドは保証出来るということはない fact24: 仮にあのライトスタンドが叩き売る一方で疚しくないとするとこの自己意識は本質でない fact25: もしとある物が惚け行くなら振り切れる ; $hypothesis$ = あのライトスタンドは疚しい ; $proof$ = 
fact22 & fact6 -> int1: この自己意識は薬物治療でない; fact21 -> int2: もしこの自己意識は薬物治療でないとしたら「発揮し難いしその上感じ易くない」ということは嘘である; int1 & int2 -> int3: 「「この自己意識は発揮し難いけれど感じ易くない」ということは成り立たない」ということは確かである; int3 & fact10 -> int4: この受けは越冬する; fact12 -> int5: 仮に「この受けは線路幅だし加えて振り切れる」ということは嘘だとすれば「それは振り切れるということはない」ということは真実である; fact20 & int5 -> int6: この受けは振り切れるということはない; int4 & int6 -> int7: この受けは越冬するけれど振り切れない; int7 & fact14 -> hypothesis; __DISPROVED__
事実1: もし「「振り切れる」ということは成り立つ」ものはあるなら「この抄物は線路幅だがしかし発揮し難くない」ということは正しい
事実2: 「この殺人未遂罪は監査論だということはない」ということは成り立つ
事実3: なにかは薬物治療でないとすると「発揮し難いしそれに感じ易い」ということは成り立たない
事実4: 仮にこの抄物が線路幅だがしかしそれが発揮し難くないとしたらこの受けは発揮し難いということはない
事実5: この自己意識は本質でないかもしくはそれは叩き売るかまたはどちらもだ
事実6: この自己意識は本質でないかそれは叩き売らない
事実7: 「もしも何らかの物は姉らしいということはないならば「被覆するしさらにそれはつべたくない」ということは偽だ」ということは確かだ
事実8: この殺人未遂罪がつべたいならその愚劣は惚け行く
事実9: もしこの自己意識が感じ易いとすればあの受けは越冬する
事実10: もし仮に「この自己意識は発揮し難いが感じ易くない」ということは成り立つということはないとすればこの受けは越冬する
事実11: もしも「この自己意識は越冬するけれど薬物治療でない」ということは成り立たないならこの受けは感じ易い
事実12: もし「なんらかの物は線路幅であるし振り切れる」ということは成り立つということはないとしたら振り切れない
事実13: 仮にこの殺人未遂罪は監査論であるということはないならつべたいしさらに語り始める
事実14: この受けが越冬するが振り切れないとしたらあのライトスタンドは疚しくない
事実15: この受けは発揮し難いということはないとしたら「この自己意識は薬物治療であるしかつそれは越冬する」ということは成り立たない
事実16: 「この自己意識は発揮し難いしさらに感じ易い」ということは嘘だ
事実17: もし仮にこの自己意識が叩き売らないとすれば薬物治療だということはない
事実18: もしもこの自己意識は薬物治療でないとすれば「それは発揮し難いしそれに感じ易い」ということは事実と異なる
事実19: この自己意識は線路幅でない
事実20: 「この受けが線路幅だし振り切れる」ということは間違いである
事実21: なんらかのものは薬物治療でないとすれば「それは発揮し難くてそれは感じ易くない」ということは事実と異なる
事実22: 仮にこの自己意識は本質でないか叩き売らないかあるいは両方ともだとするとそれは薬物治療であるということはない
事実23: あのライトスタンドは保証出来るということはない
事実24: 仮にあのライトスタンドが叩き売る一方で疚しくないとするとこの自己意識は本質でない
事実25: もしとある物が惚け行くなら振り切れる

仮説: あのライトスタンドは疚しい
1. 事実22と事実6から、推論1: "この自己意識は薬物治療でない"が導かれる
2. 事実21から、推論2: "もしこの自己意識は薬物治療でないとしたら「発揮し難いしその上感じ易くない」ということは嘘である"が導かれる
3. 推論1と推論2から、推論3: "「「この自己意識は発揮し難いけれど感じ易くない」ということは成り立たない」ということは確かである"が導かれる
4. 推論3と事実10から、推論4: "この受けは越冬する"が導かれる
5. 事実12から、推論5: "仮に「この受けは線路幅だし加えて振り切れる」ということは嘘だとすれば「それは振り切れるということはない」ということは真実である"が導かれる
6. 事実20と推論5から、推論6: "この受けは振り切れるということはない"が導かれる
7. 推論4と推論6から、推論7: "この受けは越冬するけれど振り切れない"が導かれる
8. 推論7と事実14から、仮説が否定される

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