「あの日本兵食論は国地方係争処理委員会でないかまたは飾紐であるか両方ともだ」ということは嘘だ
fact1: 仮に「暗過ぎる」ものがあるとするとあのダウンは重苦しくない fact2: もし仮にあの延べ面積が押し易くないならばあの包交時は誇らしい fact3: 仮に「あの延べ面積は区切れる」ということは成り立つとしたらあの包交時は誇らしい fact4: あの包交時が誇らしいならあの日本兵食論は国地方係争処理委員会であるということはないかまたは飾紐であるか両方だ fact5: 仮になにかは重苦しくないとすればあの延べ面積は区切れるかそれは押し易くない fact6: もし仮にあの日本兵食論は暗過ぎるとすれば「それは国地方係争処理委員会でないかあるいはそれは飾紐である」ということは真実でない fact7: 「暗過ぎる」物はある fact8: 何かは重苦しい fact9: あの日本兵食論は国地方係争処理委員会であるかもしくはそれは飾紐であるか両方ともである fact10: あの包交時が誇らしいならあの日本兵食論は国地方係争処理委員会であるかまたは飾紐であるかあるいはどちらもである fact11: あのダウンは飾紐でない
fact7 & fact1 -> int1: あのダウンは重苦しくない; int1 -> int2: ある物は重苦しくない; int2 & fact5 -> int3: あの延べ面積は区切れるかあるいはそれは押し易くない; int3 & fact3 & fact2 -> int4: あの包交時は誇らしい; int4 & fact4 -> hypothesis;
「あの日本兵食論は国地方係争処理委員会でないかあるいは飾紐である」ということは成り立たない
$facts$ = fact1: 仮に「暗過ぎる」ものがあるとするとあのダウンは重苦しくない fact2: もし仮にあの延べ面積が押し易くないならばあの包交時は誇らしい fact3: 仮に「あの延べ面積は区切れる」ということは成り立つとしたらあの包交時は誇らしい fact4: あの包交時が誇らしいならあの日本兵食論は国地方係争処理委員会であるということはないかまたは飾紐であるか両方だ fact5: 仮になにかは重苦しくないとすればあの延べ面積は区切れるかそれは押し易くない fact6: もし仮にあの日本兵食論は暗過ぎるとすれば「それは国地方係争処理委員会でないかあるいはそれは飾紐である」ということは真実でない fact7: 「暗過ぎる」物はある fact8: 何かは重苦しい fact9: あの日本兵食論は国地方係争処理委員会であるかもしくはそれは飾紐であるか両方ともである fact10: あの包交時が誇らしいならあの日本兵食論は国地方係争処理委員会であるかまたは飾紐であるかあるいはどちらもである fact11: あのダウンは飾紐でない ; $hypothesis$ = 「あの日本兵食論は国地方係争処理委員会でないかまたは飾紐であるか両方ともだ」ということは嘘だ ; $proof$ = 
fact7 & fact1 -> int1: あのダウンは重苦しくない; int1 -> int2: ある物は重苦しくない; int2 & fact5 -> int3: あの延べ面積は区切れるかあるいはそれは押し易くない; int3 & fact3 & fact2 -> int4: あの包交時は誇らしい; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に「暗過ぎる」ものがあるとするとあのダウンは重苦しくない
事実2: もし仮にあの延べ面積が押し易くないならばあの包交時は誇らしい
事実3: 仮に「あの延べ面積は区切れる」ということは成り立つとしたらあの包交時は誇らしい
事実4: あの包交時が誇らしいならあの日本兵食論は国地方係争処理委員会であるということはないかまたは飾紐であるか両方だ
事実5: 仮になにかは重苦しくないとすればあの延べ面積は区切れるかそれは押し易くない
事実6: もし仮にあの日本兵食論は暗過ぎるとすれば「それは国地方係争処理委員会でないかあるいはそれは飾紐である」ということは真実でない
事実7: 「暗過ぎる」物はある
事実8: 何かは重苦しい
事実9: あの日本兵食論は国地方係争処理委員会であるかもしくはそれは飾紐であるか両方ともである
事実10: あの包交時が誇らしいならあの日本兵食論は国地方係争処理委員会であるかまたは飾紐であるかあるいはどちらもである
事実11: あのダウンは飾紐でない

仮説: 「あの日本兵食論は国地方係争処理委員会でないかまたは飾紐であるか両方ともだ」ということは嘘だ
1. 事実7と事実1から、推論1: "あのダウンは重苦しくない"が導かれる
2. 推論1から、推論2: "ある物は重苦しくない"が導かれる
3. 推論2と事実5から、推論3: "あの延べ面積は区切れるかあるいはそれは押し易くない"が導かれる
4. 推論3と事実3と事実2から、推論4: "あの包交時は誇らしい"が導かれる
5. 推論4と事実4から、仮説が否定される

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