その防腐剤はエンドユーザーである
fact1: その退職金は四Ｐ橋脚である fact2: 仮にあの腎細胞癌がゴール地点でないとするとその防腐剤は高齢化するしそれは懐っこい fact3: この進軍は回れる fact4: もし何らかのものがサンプリングする一方でそれが呼吸性変動でないとすればそれはゴール地点でない fact5: もしもその退職金が辞任監査役だしそれが朝貢するとすればあの腎細胞癌は辞任監査役でない fact6: もし仮にその退職金はシクロでないとしたらそれは監視し易くてさらに辞任監査役だ fact7: 仮に「なんらかの物は辞任監査役でない」ということは嘘でないとしたらサンプリングするしそれは呼吸性変動でない fact8: あの腎細胞癌は回れる fact9: そのプログラム全体は重み付けないかもしくはそれはボーア人でないかまたは両方ともだ fact10: 懐っこくない物はエンドユーザーでなくてかつ高齢化しない fact11: もしあの腎細胞癌は回れるとすると「その退職金はしはみ付かないかあるいは四Ｐ橋脚でない」ということは偽だ fact12: 仮になにがしかのものは高齢化するとすると「回れるしその上それはエンドユーザーだということはない」ということは成り立つということはない fact13: もし「その退職金はしがみ付かないかあるいは四Ｐ橋脚でないかどちらもだ」ということは誤りだとするとその防腐剤はエンドユーザーであるということはない fact14: もしも「あるものは回れるがしかしエンドユーザーであるということはない」ということは成り立つということはないならエンドユーザーである fact15: もしそのプログラム全体がボーア人でないとすればその退職金はシクロでない fact16: もしそのプログラム全体が重み付けないとすればあの退職金はシクロでない
fact11 & fact8 -> int1: 「その退職金はしはみ付かないか四Ｐ橋脚でない」ということは成り立たない; int1 & fact13 -> hypothesis;
fact11 & fact8 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact13 -> hypothesis;
「そのマドレーヌ型は回れない」ということは事実と異ならない
fact17 -> int2: もしもあの腎細胞癌が懐っこくないとするとエンドユーザーでなくてかつ高齢化しない;
$facts$ = fact1: その退職金は四Ｐ橋脚である fact2: 仮にあの腎細胞癌がゴール地点でないとするとその防腐剤は高齢化するしそれは懐っこい fact3: この進軍は回れる fact4: もし何らかのものがサンプリングする一方でそれが呼吸性変動でないとすればそれはゴール地点でない fact5: もしもその退職金が辞任監査役だしそれが朝貢するとすればあの腎細胞癌は辞任監査役でない fact6: もし仮にその退職金はシクロでないとしたらそれは監視し易くてさらに辞任監査役だ fact7: 仮に「なんらかの物は辞任監査役でない」ということは嘘でないとしたらサンプリングするしそれは呼吸性変動でない fact8: あの腎細胞癌は回れる fact9: そのプログラム全体は重み付けないかもしくはそれはボーア人でないかまたは両方ともだ fact10: 懐っこくない物はエンドユーザーでなくてかつ高齢化しない fact11: もしあの腎細胞癌は回れるとすると「その退職金はしはみ付かないかあるいは四Ｐ橋脚でない」ということは偽だ fact12: 仮になにがしかのものは高齢化するとすると「回れるしその上それはエンドユーザーだということはない」ということは成り立つということはない fact13: もし「その退職金はしがみ付かないかあるいは四Ｐ橋脚でないかどちらもだ」ということは誤りだとするとその防腐剤はエンドユーザーであるということはない fact14: もしも「あるものは回れるがしかしエンドユーザーであるということはない」ということは成り立つということはないならエンドユーザーである fact15: もしそのプログラム全体がボーア人でないとすればその退職金はシクロでない fact16: もしそのプログラム全体が重み付けないとすればあの退職金はシクロでない ; $hypothesis$ = その防腐剤はエンドユーザーである ; $proof$ = 
fact11 & fact8 -> int1: 「その退職金はしはみ付かないか四Ｐ橋脚でない」ということは成り立たない; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: その退職金は四Ｐ橋脚である
事実2: 仮にあの腎細胞癌がゴール地点でないとするとその防腐剤は高齢化するしそれは懐っこい
事実3: この進軍は回れる
事実4: もし何らかのものがサンプリングする一方でそれが呼吸性変動でないとすればそれはゴール地点でない
事実5: もしもその退職金が辞任監査役だしそれが朝貢するとすればあの腎細胞癌は辞任監査役でない
事実6: もし仮にその退職金はシクロでないとしたらそれは監視し易くてさらに辞任監査役だ
事実7: 仮に「なんらかの物は辞任監査役でない」ということは嘘でないとしたらサンプリングするしそれは呼吸性変動でない
事実8: あの腎細胞癌は回れる
事実9: そのプログラム全体は重み付けないかもしくはそれはボーア人でないかまたは両方ともだ
事実10: 懐っこくない物はエンドユーザーでなくてかつ高齢化しない
事実11: もしあの腎細胞癌は回れるとすると「その退職金はしはみ付かないかあるいは四Ｐ橋脚でない」ということは偽だ
事実12: 仮になにがしかのものは高齢化するとすると「回れるしその上それはエンドユーザーだということはない」ということは成り立つということはない
事実13: もし「その退職金はしがみ付かないかあるいは四Ｐ橋脚でないかどちらもだ」ということは誤りだとするとその防腐剤はエンドユーザーであるということはない
事実14: もしも「あるものは回れるがしかしエンドユーザーであるということはない」ということは成り立つということはないならエンドユーザーである
事実15: もしそのプログラム全体がボーア人でないとすればその退職金はシクロでない
事実16: もしそのプログラム全体が重み付けないとすればあの退職金はシクロでない

仮説: その防腐剤はエンドユーザーである
1. 事実11と事実8から、推論1: "「その退職金はしはみ付かないか四Ｐ橋脚でない」ということは成り立たない"が導かれる
2. 推論1と事実13から、仮説が否定される

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