「その谷はバウンドしないとしたら「この企業会計基準委員会はＡＡＣだが否定出来るということはない」ということは成り立たない」ということは成り立たない
fact1: その陸上自衛隊はごつい fact2: もし仮に「その谷はバウンドする」ということは間違っているということはないとしたら「この企業会計基準委員会はＡＡＣである一方で否定出来ない」ということは間違っている fact3: 「その陸上自衛隊は程遠いしその上ばあかしい」ということは嘘である fact4: もしその陸上自衛隊はごついなら「それは程遠くないしおまけにそれはばあかしい」ということは間違いだ fact5: もしもなんらかの物は縫い上げないなら「ＡＡＣだしまた否定出来る」ということは確かでない fact6: その陸上自衛隊は混入し易くない fact7: あの居城は雇われである fact8: 「この企業会計基準委員会はＡＡＣでおまけに否定出来る」ということは誤っている fact9: もし「その陸上自衛隊は程遠い」ということは真実であるとしたらその谷は雇われでない fact10: もしも「その谷はバウンドしない」ということは成り立つとするとこの企業会計基準委員会はＡＡＣだがしかし否定出来ない fact11: 「その陸上自衛隊は程遠くないがそれはばあかしい」ということは誤っているとすればあの谷は雇われでない fact12: 「その陸上自衛隊は程遠いが否定出来ない」ということは事実と異なる fact13: もし仮にその谷が雇われでなくてしかもそれがバウンドするということはないならばあの企業会計基準委員会は縫い上げるということはない fact14: もしもその谷はバウンドしないとしたら「この企業会計基準委員会はＡＡＣであるしまたそれは否定出来る」ということは嘘だ fact15: もしこの企業会計基準委員会は縫い上げないとしたら「それはＡＡＣでしかも否定出来る」ということは嘘である fact16: この企業会計基準委員会はばあかしかなくて更に否定出来ない fact17: 「その谷は苦々しかないがそれは沖縄タイムスである」ということは成り立たない fact18: 「もしこの企業会計基準委員会が縫い上げないとすればこの企業会計基準委員会はＡＡＣだけど否定出来ない」ということは成り立つ fact19: もしもなにがしかの物が縫い上げないならばＡＡＣであるけれど否定出来ない fact20: その陸上自衛隊はごついとすれば「程遠いしばあかしい」ということは嘘だ fact21: なんらかの物は縫い上げないとすると「それはＡＡＣだがしかし否定出来ない」ということは成り立たない fact22: もし「「その谷は縫い上げない一方でＡＡＣだ」ということは偽でない」ということは間違っているとするとこの企業会計基準委員会は雇われでない
fact4 & fact1 -> int1: 「その陸上自衛隊は程遠くないけれどばあかしい」ということは成り立たない; int1 & fact11 -> int2: その谷は雇われでない; void -> assump1: 以下のように仮定する。「その谷はバウンドしない」ということは成り立つ; int2 & assump1 -> int3: その谷は雇われでなくてそれにバウンドするということはない; int3 & fact13 -> int4: この企業会計基準委員会は縫い上げない; fact21 -> int5: この企業会計基準委員会は縫い上げないとしたら「それはＡＡＣであるしそれは否定出来ない」ということは嘘である; int4 & int5 -> int6: 「この企業会計基準委員会はＡＡＣであるが否定出来ない」ということは誤っている; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その陸上自衛隊はごつい fact2: もし仮に「その谷はバウンドする」ということは間違っているということはないとしたら「この企業会計基準委員会はＡＡＣである一方で否定出来ない」ということは間違っている fact3: 「その陸上自衛隊は程遠いしその上ばあかしい」ということは嘘である fact4: もしその陸上自衛隊はごついなら「それは程遠くないしおまけにそれはばあかしい」ということは間違いだ fact5: もしもなんらかの物は縫い上げないなら「ＡＡＣだしまた否定出来る」ということは確かでない fact6: その陸上自衛隊は混入し易くない fact7: あの居城は雇われである fact8: 「この企業会計基準委員会はＡＡＣでおまけに否定出来る」ということは誤っている fact9: もし「その陸上自衛隊は程遠い」ということは真実であるとしたらその谷は雇われでない fact10: もしも「その谷はバウンドしない」ということは成り立つとするとこの企業会計基準委員会はＡＡＣだがしかし否定出来ない fact11: 「その陸上自衛隊は程遠くないがそれはばあかしい」ということは誤っているとすればあの谷は雇われでない fact12: 「その陸上自衛隊は程遠いが否定出来ない」ということは事実と異なる fact13: もし仮にその谷が雇われでなくてしかもそれがバウンドするということはないならばあの企業会計基準委員会は縫い上げるということはない fact14: もしもその谷はバウンドしないとしたら「この企業会計基準委員会はＡＡＣであるしまたそれは否定出来る」ということは嘘だ fact15: もしこの企業会計基準委員会は縫い上げないとしたら「それはＡＡＣでしかも否定出来る」ということは嘘である fact16: この企業会計基準委員会はばあかしかなくて更に否定出来ない fact17: 「その谷は苦々しかないがそれは沖縄タイムスである」ということは成り立たない fact18: 「もしこの企業会計基準委員会が縫い上げないとすればこの企業会計基準委員会はＡＡＣだけど否定出来ない」ということは成り立つ fact19: もしもなにがしかの物が縫い上げないならばＡＡＣであるけれど否定出来ない fact20: その陸上自衛隊はごついとすれば「程遠いしばあかしい」ということは嘘だ fact21: なんらかの物は縫い上げないとすると「それはＡＡＣだがしかし否定出来ない」ということは成り立たない fact22: もし「「その谷は縫い上げない一方でＡＡＣだ」ということは偽でない」ということは間違っているとするとこの企業会計基準委員会は雇われでない ; $hypothesis$ = 「その谷はバウンドしないとしたら「この企業会計基準委員会はＡＡＣだが否定出来るということはない」ということは成り立たない」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> int1: 「その陸上自衛隊は程遠くないけれどばあかしい」ということは成り立たない; int1 & fact11 -> int2: その谷は雇われでない; void -> assump1: 以下のように仮定する。「その谷はバウンドしない」ということは成り立つ; int2 & assump1 -> int3: その谷は雇われでなくてそれにバウンドするということはない; int3 & fact13 -> int4: この企業会計基準委員会は縫い上げない; fact21 -> int5: この企業会計基準委員会は縫い上げないとしたら「それはＡＡＣであるしそれは否定出来ない」ということは嘘である; int4 & int5 -> int6: 「この企業会計基準委員会はＡＡＣであるが否定出来ない」ということは誤っている; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その陸上自衛隊はごつい
事実2: もし仮に「その谷はバウンドする」ということは間違っているということはないとしたら「この企業会計基準委員会はＡＡＣである一方で否定出来ない」ということは間違っている
事実3: 「その陸上自衛隊は程遠いしその上ばあかしい」ということは嘘である
事実4: もしその陸上自衛隊はごついなら「それは程遠くないしおまけにそれはばあかしい」ということは間違いだ
事実5: もしもなんらかの物は縫い上げないなら「ＡＡＣだしまた否定出来る」ということは確かでない
事実6: その陸上自衛隊は混入し易くない
事実7: あの居城は雇われである
事実8: 「この企業会計基準委員会はＡＡＣでおまけに否定出来る」ということは誤っている
事実9: もし「その陸上自衛隊は程遠い」ということは真実であるとしたらその谷は雇われでない
事実10: もしも「その谷はバウンドしない」ということは成り立つとするとこの企業会計基準委員会はＡＡＣだがしかし否定出来ない
事実11: 「その陸上自衛隊は程遠くないがそれはばあかしい」ということは誤っているとすればあの谷は雇われでない
事実12: 「その陸上自衛隊は程遠いが否定出来ない」ということは事実と異なる
事実13: もし仮にその谷が雇われでなくてしかもそれがバウンドするということはないならばあの企業会計基準委員会は縫い上げるということはない
事実14: もしもその谷はバウンドしないとしたら「この企業会計基準委員会はＡＡＣであるしまたそれは否定出来る」ということは嘘だ
事実15: もしこの企業会計基準委員会は縫い上げないとしたら「それはＡＡＣでしかも否定出来る」ということは嘘である
事実16: この企業会計基準委員会はばあかしかなくて更に否定出来ない
事実17: 「その谷は苦々しかないがそれは沖縄タイムスである」ということは成り立たない
事実18: 「もしこの企業会計基準委員会が縫い上げないとすればこの企業会計基準委員会はＡＡＣだけど否定出来ない」ということは成り立つ
事実19: もしもなにがしかの物が縫い上げないならばＡＡＣであるけれど否定出来ない
事実20: その陸上自衛隊はごついとすれば「程遠いしばあかしい」ということは嘘だ
事実21: なんらかの物は縫い上げないとすると「それはＡＡＣだがしかし否定出来ない」ということは成り立たない
事実22: もし「「その谷は縫い上げない一方でＡＡＣだ」ということは偽でない」ということは間違っているとするとこの企業会計基準委員会は雇われでない

仮説: 「その谷はバウンドしないとしたら「この企業会計基準委員会はＡＡＣだが否定出来るということはない」ということは成り立たない」ということは成り立たない
1. 事実4と事実1から、推論1: "「その陸上自衛隊は程遠くないけれどばあかしい」ということは成り立たない"が導かれる
2. 推論1と事実11から、推論2: "その谷は雇われでない"が導かれる
3. 仮定1: 以下のように仮定する。「その谷はバウンドしない」ということは成り立つ
4. 推論2と仮定1から、推論3: "その谷は雇われでなくてそれにバウンドするということはない"が導かれる
5. 推論3と事実13から、推論4: "この企業会計基準委員会は縫い上げない"が導かれる
6. 事実21から、推論5: "この企業会計基準委員会は縫い上げないとしたら「それはＡＡＣであるしそれは否定出来ない」ということは嘘である"が導かれる
7. 推論4と推論5から、推論6: "「この企業会計基準委員会はＡＡＣであるが否定出来ない」ということは誤っている"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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