この抜糸前は排気口だということはない
fact1: その国道沿いが依拠するなら鶫である fact2: もしあの三焦は圧迫しないとしたら「その御嬢ちゃんは仮託しなくて加えて仲間らしくない」ということは成り立たない fact3: もし「その御嬢ちゃんは読み難いかもしくはそれは旨くない」ということは成り立たないなら仲間らしい fact4: あの文化は仮託するかまたはクラス単位であるかまたは両方だ fact5: もしもあの文化がクラス単位であるとすればあの三焦は仮託する fact6: もしもその御嬢ちゃんが読み難いかまたは旨くないかあるいは両方であるとしたら「その国道沿いは依拠する」ということは間違っていない fact7: あの文化はクラス単位でないかまたはそれはアップグレードしない fact8: あの発病年齢は依拠する fact9: とある物がクラス単位でないとするとそれは依拠するしかつそれは鶫でない fact10: 仮にあるものが依拠するけれど鶫でないならばあの三焦は圧迫しない fact11: 仮にその御嬢ちゃんが旨くないとすればその国道沿いは依拠する fact12: 仮にあの文化が仮託するならあの三焦は仮託する fact13: もしもその御嬢ちゃんが仲間らしいとしたらあの三焦は圧迫しなくてそれに仮託するということはない fact14: もしその国道沿いが鶫だとするとこの抜糸前は排気口だ
void -> assump1: 以下のように仮定する。「その御嬢ちゃんは読み難いかもしくは旨いということはないかあるいはどちらもである」ということは誤っている; fact3 & assump1 -> int1: その御嬢ちゃんは仲間らしい; int1 & fact13 -> int2: あの三焦は圧迫しないし仮託しない; int2 -> int3: あの三焦は仮託しない; fact12 & fact4 & fact5 -> int4: あの三焦は仮託する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その御嬢ちゃんは読み難いかまたは旨くないかまたは両方ともである; int6 & fact6 -> int7: その国道沿いは依拠する; int7 & fact1 -> int8: その国道沿いは鶫だ; int8 & fact14 -> hypothesis;
この抜糸前は排気口でない
fact16 -> int9: もしもその国道沿いはクラス単位でないとしたらそれは依拠するけど鶫でない; fact15 -> int10: なにかはクラス単位でないかもしくはアップグレードしないか両方である;
$facts$ = fact1: その国道沿いが依拠するなら鶫である fact2: もしあの三焦は圧迫しないとしたら「その御嬢ちゃんは仮託しなくて加えて仲間らしくない」ということは成り立たない fact3: もし「その御嬢ちゃんは読み難いかもしくはそれは旨くない」ということは成り立たないなら仲間らしい fact4: あの文化は仮託するかまたはクラス単位であるかまたは両方だ fact5: もしもあの文化がクラス単位であるとすればあの三焦は仮託する fact6: もしもその御嬢ちゃんが読み難いかまたは旨くないかあるいは両方であるとしたら「その国道沿いは依拠する」ということは間違っていない fact7: あの文化はクラス単位でないかまたはそれはアップグレードしない fact8: あの発病年齢は依拠する fact9: とある物がクラス単位でないとするとそれは依拠するしかつそれは鶫でない fact10: 仮にあるものが依拠するけれど鶫でないならばあの三焦は圧迫しない fact11: 仮にその御嬢ちゃんが旨くないとすればその国道沿いは依拠する fact12: 仮にあの文化が仮託するならあの三焦は仮託する fact13: もしもその御嬢ちゃんが仲間らしいとしたらあの三焦は圧迫しなくてそれに仮託するということはない fact14: もしその国道沿いが鶫だとするとこの抜糸前は排気口だ ; $hypothesis$ = この抜糸前は排気口だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その御嬢ちゃんは読み難いかもしくは旨いということはないかあるいはどちらもである」ということは誤っている; fact3 & assump1 -> int1: その御嬢ちゃんは仲間らしい; int1 & fact13 -> int2: あの三焦は圧迫しないし仮託しない; int2 -> int3: あの三焦は仮託しない; fact12 & fact4 & fact5 -> int4: あの三焦は仮託する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その御嬢ちゃんは読み難いかまたは旨くないかまたは両方ともである; int6 & fact6 -> int7: その国道沿いは依拠する; int7 & fact1 -> int8: その国道沿いは鶫だ; int8 & fact14 -> hypothesis; __DISPROVED__
事実1: その国道沿いが依拠するなら鶫である
事実2: もしあの三焦は圧迫しないとしたら「その御嬢ちゃんは仮託しなくて加えて仲間らしくない」ということは成り立たない
事実3: もし「その御嬢ちゃんは読み難いかもしくはそれは旨くない」ということは成り立たないなら仲間らしい
事実4: あの文化は仮託するかまたはクラス単位であるかまたは両方だ
事実5: もしもあの文化がクラス単位であるとすればあの三焦は仮託する
事実6: もしもその御嬢ちゃんが読み難いかまたは旨くないかあるいは両方であるとしたら「その国道沿いは依拠する」ということは間違っていない
事実7: あの文化はクラス単位でないかまたはそれはアップグレードしない
事実8: あの発病年齢は依拠する
事実9: とある物がクラス単位でないとするとそれは依拠するしかつそれは鶫でない
事実10: 仮にあるものが依拠するけれど鶫でないならばあの三焦は圧迫しない
事実11: 仮にその御嬢ちゃんが旨くないとすればその国道沿いは依拠する
事実12: 仮にあの文化が仮託するならあの三焦は仮託する
事実13: もしもその御嬢ちゃんが仲間らしいとしたらあの三焦は圧迫しなくてそれに仮託するということはない
事実14: もしその国道沿いが鶫だとするとこの抜糸前は排気口だ

仮説: この抜糸前は排気口だということはない
1. 仮定1: 以下のように仮定する。「その御嬢ちゃんは読み難いかもしくは旨いということはないかあるいはどちらもである」ということは誤っている
2. 事実3と仮定1から、推論1: "その御嬢ちゃんは仲間らしい"が導かれる
3. 推論1と事実13から、推論2: "あの三焦は圧迫しないし仮託しない"が導かれる
4. 推論2から、推論3: "あの三焦は仮託しない"が導かれる
5. 事実12と事実4と事実5から、推論4: "あの三焦は仮託する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その御嬢ちゃんは読み難いかまたは旨くないかまたは両方ともである"が導かれる
8. 推論6と事実6から、推論7: "その国道沿いは依拠する"が導かれる
9. 推論7と事実1から、推論8: "その国道沿いは鶫だ"が導かれる
10. 推論8と事実14から、仮説が否定される

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