この商品説明は疎くない
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: もしもあの為替が配だしさらにそれが共産主義政権であるとすればあの影印本はＴＯＥＦＬ試験でない fact26: この無文は鎮撫隊だ fact27: もし仮に「あの為替は重くない」ということは本当でないとすればそれは配である fact28: もし仮にある物が大きいならば重い fact29: あの為替は共産主義政権だ fact30: 「あのイメージング時は見境無いしそれにそれはめでたい」ということは成り立つ fact31: 「この商品説明は大きい」ということは成り立つ
fact23 & fact10 -> int1: あの為替は重い; int1 & fact27 -> int2: 「あの為替は配だ」ということは本当である; int2 & fact29 -> int3: あの為替は配で更にそれは共産主義政権である; int3 & fact25 -> int4: この影印本はＴＯＥＦＬ試験でない; int4 & fact1 -> int5: この無文は総務課でないかもしくは大きいかもしくは両方である; int5 & fact2 -> int6: 「この無文は開き易くない」ということは正しい; fact14 & fact26 -> int7: この無文は引き剥がす; int6 & int7 -> int8: この無文は開き易いということはないがしかし引き剥がす; int8 & fact9 -> hypothesis;
この商品説明は疎くない
fact34 -> int9: 仮にこの影印本が大きいとすればそれは重い; fact39 -> int10: もし「「この影印本は総務課だ」ということは成り立たない」ということは事実であるとすると共産主義政権でないしＴＯＥＦＬ試験でない;
$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: もしもあの為替が配だしさらにそれが共産主義政権であるとすればあの影印本はＴＯＥＦＬ試験でない fact26: この無文は鎮撫隊だ fact27: もし仮に「あの為替は重くない」ということは本当でないとすればそれは配である fact28: もし仮にある物が大きいならば重い fact29: あの為替は共産主義政権だ fact30: 「あのイメージング時は見境無いしそれにそれはめでたい」ということは成り立つ fact31: 「この商品説明は大きい」ということは成り立つ ; $hypothesis$ = この商品説明は疎くない ; $proof$ = 
fact23 & fact10 -> int1: あの為替は重い; int1 & fact27 -> int2: 「あの為替は配だ」ということは本当である; int2 & fact29 -> int3: あの為替は配で更にそれは共産主義政権である; int3 & fact25 -> int4: この影印本はＴＯＥＦＬ試験でない; int4 & fact1 -> int5: この無文は総務課でないかもしくは大きいかもしくは両方である; int5 & fact2 -> int6: 「この無文は開き易くない」ということは正しい; fact14 & fact26 -> int7: この無文は引き剥がす; int6 & int7 -> int8: この無文は開き易いということはないがしかし引き剥がす; int8 & fact9 -> 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: もしもあの為替が配だしさらにそれが共産主義政権であるとすればあの影印本はＴＯＥＦＬ試験でない
事実26: この無文は鎮撫隊だ
事実27: もし仮に「あの為替は重くない」ということは本当でないとすればそれは配である
事実28: もし仮にある物が大きいならば重い
事実29: あの為替は共産主義政権だ
事実30: 「あのイメージング時は見境無いしそれにそれはめでたい」ということは成り立つ
事実31: 「この商品説明は大きい」ということは成り立つ

仮説: この商品説明は疎くない
1. 事実23と事実10から、推論1: "あの為替は重い"が導かれる
2. 推論1と事実27から、推論2: "「あの為替は配だ」ということは本当である"が導かれる
3. 推論2と事実29から、推論3: "あの為替は配で更にそれは共産主義政権である"が導かれる
4. 推論3と事実25から、推論4: "この影印本はＴＯＥＦＬ試験でない"が導かれる
5. 推論4と事実1から、推論5: "この無文は総務課でないかもしくは大きいかもしくは両方である"が導かれる
6. 推論5と事実2から、推論6: "「この無文は開き易くない」ということは正しい"が導かれる
7. 事実14と事実26から、推論7: "この無文は引き剥がす"が導かれる
8. 推論6と推論7から、推論8: "この無文は開き易いということはないがしかし引き剥がす"が導かれる
9. 推論8と事実9から、仮説が否定される

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