「そのカフェバーは筋肉トレーニングであるかまたはそれは瑞々しいかもしくは両方ともだ」ということは成り立たない
fact1: もしあるものが一単位生産しなくてまた干渉戦争でないとしたら止めど無い fact2: もしも「この人道的干渉は有り難しということはないけれど土地毎である」ということは間違っているとするとそれは土地毎でない fact3: もし仮に「この人道的干渉は理解し辛い」ということは成り立つとしたら「「職務以外でないしその上社会保険診療報酬でない」ということは真実だ」ということは成り立たない fact4: 仮になんらかのものが社会保険診療報酬であるしそれが止めど無いとすればそれは不動産公正取り引き協議会であるということはない fact5: もしもこの人道的干渉が重くないとすればそれは一単位生産しなくてそれに干渉戦争でない fact6: 「「持ち歩かなくておまけにヌード写真だ」ということは成り立たない」物はある fact7: もし仮に「この人道的干渉はキックしなくてそれにそれは入所当初でない」ということは間違っているならそれは重くない fact8: もしも「この人道的干渉は土地毎でない」ということは正しいならば「それはキックしなくて加えて入所当初でない」ということは間違っている fact9: 仮に「とある物が職務以外だということはないしさらにそれは社会保険診療報酬だということはない」ということは成り立たないなら「社会保険診療報酬であるということはない」ということは偽だ fact10: そのカフェバーは筋肉トレーニングであるしそれに不動産公正取り引き協議会だ fact11: もし「「持ち歩かないがしかしヌード写真だ」ということは成り立たない」ものがあるとしたらこの人道的干渉は理解し辛い
fact10 -> int1: そのカフェバーは筋肉トレーニングだ; int1 -> hypothesis;
「そのカフェバーは筋肉トレーニングであるかまたはそれは瑞々しいかもしくはどちらもだ」ということは間違いだ
fact17 -> int2: 仮にこの人道的干渉が社会保険診療報酬であるし更にそれが止めど無いならばそれは不動産公正取り引き協議会でない; fact19 -> int3: もし仮に「この人道的干渉は職務以外でなくて社会保険診療報酬でない」ということは成り立たないなら社会保険診療報酬である; fact13 & fact18 -> int4: この人道的干渉は理解し辛い; fact12 & int4 -> int5: 「この人道的干渉は職務以外でないしさらに社会保険診療報酬でない」ということは間違いである; int3 & int5 -> int6: 「この人道的干渉は社会保険診療報酬でない」ということは事実と異なる; fact16 -> int7: もしもこの人道的干渉は一単位生産しなくてまた干渉戦争だということはないならそれは止めど無い;
$facts$ = fact1: もしあるものが一単位生産しなくてまた干渉戦争でないとしたら止めど無い fact2: もしも「この人道的干渉は有り難しということはないけれど土地毎である」ということは間違っているとするとそれは土地毎でない fact3: もし仮に「この人道的干渉は理解し辛い」ということは成り立つとしたら「「職務以外でないしその上社会保険診療報酬でない」ということは真実だ」ということは成り立たない fact4: 仮になんらかのものが社会保険診療報酬であるしそれが止めど無いとすればそれは不動産公正取り引き協議会であるということはない fact5: もしもこの人道的干渉が重くないとすればそれは一単位生産しなくてそれに干渉戦争でない fact6: 「「持ち歩かなくておまけにヌード写真だ」ということは成り立たない」物はある fact7: もし仮に「この人道的干渉はキックしなくてそれにそれは入所当初でない」ということは間違っているならそれは重くない fact8: もしも「この人道的干渉は土地毎でない」ということは正しいならば「それはキックしなくて加えて入所当初でない」ということは間違っている fact9: 仮に「とある物が職務以外だということはないしさらにそれは社会保険診療報酬だということはない」ということは成り立たないなら「社会保険診療報酬であるということはない」ということは偽だ fact10: そのカフェバーは筋肉トレーニングであるしそれに不動産公正取り引き協議会だ fact11: もし「「持ち歩かないがしかしヌード写真だ」ということは成り立たない」ものがあるとしたらこの人道的干渉は理解し辛い ; $hypothesis$ = 「そのカフェバーは筋肉トレーニングであるかまたはそれは瑞々しいかもしくは両方ともだ」ということは成り立たない ; $proof$ = 
fact10 -> int1: そのカフェバーは筋肉トレーニングだ; int1 -> hypothesis; __DISPROVED__
事実1: もしあるものが一単位生産しなくてまた干渉戦争でないとしたら止めど無い
事実2: もしも「この人道的干渉は有り難しということはないけれど土地毎である」ということは間違っているとするとそれは土地毎でない
事実3: もし仮に「この人道的干渉は理解し辛い」ということは成り立つとしたら「「職務以外でないしその上社会保険診療報酬でない」ということは真実だ」ということは成り立たない
事実4: 仮になんらかのものが社会保険診療報酬であるしそれが止めど無いとすればそれは不動産公正取り引き協議会であるということはない
事実5: もしもこの人道的干渉が重くないとすればそれは一単位生産しなくてそれに干渉戦争でない
事実6: 「「持ち歩かなくておまけにヌード写真だ」ということは成り立たない」物はある
事実7: もし仮に「この人道的干渉はキックしなくてそれにそれは入所当初でない」ということは間違っているならそれは重くない
事実8: もしも「この人道的干渉は土地毎でない」ということは正しいならば「それはキックしなくて加えて入所当初でない」ということは間違っている
事実9: 仮に「とある物が職務以外だということはないしさらにそれは社会保険診療報酬だということはない」ということは成り立たないなら「社会保険診療報酬であるということはない」ということは偽だ
事実10: そのカフェバーは筋肉トレーニングであるしそれに不動産公正取り引き協議会だ
事実11: もし「「持ち歩かないがしかしヌード写真だ」ということは成り立たない」ものがあるとしたらこの人道的干渉は理解し辛い

仮説: 「そのカフェバーは筋肉トレーニングであるかまたはそれは瑞々しいかもしくは両方ともだ」ということは成り立たない
1. 事実10から、推論1: "そのカフェバーは筋肉トレーニングだ"が導かれる
2. 推論1から、仮説が否定される

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