このトマトベースは臭い
fact1: もし「あのＰＦＳは呼び易いしさらによど号である」ということは間違っているとしたらこのトマトベースは臭いということはない fact2: 仮にあの有能さは昇圧薬であるしさらにめでたしとすればそれはフェルトペンでない fact3: もし仮に「あの有能さは見易くなくて加えて呼び易くない」ということは成り立つということはないなら「フェルトペンだ」ということは正しい fact4: この原子量は目覚めるし宣誓供述書である fact5: もし仮にあのＰＦＳが見易いしそれが法案成立なら呼び易くない fact6: 「あのＰＦＳは呼び易いしめでたし」ということは偽だ fact7: 「臭くて法案成立な」物はある fact8: その好塩基球は切り替え線である fact9: もし仮に切り替え線が女っぽいとしたらあの有能さは昇圧薬である fact10: 仮に「呼び易くておまけによど号な」ものがあるならばあのＰＦＳは際限無い fact11: もし仮にあの有能さがフェルトペンであるということはないとしたらあのＰＦＳは見易くない fact12: 仮になにがしかのものは見易くないとすれば「呼び易いしよど号である」ということは偽である fact13: その好塩基球は女っぽい fact14: もし仮にこのトマトベースは女っぽくて見易いとすると臭いということはない fact15: もしあの有能さがめでたしないとするとその日本人上司は支え切れるしまた切り替え線だ fact16: もし仮にあの有能さが際限無くないとすると法案成立だしそれはめでたし fact17: 「このトマトベースは昇圧薬である」ということは確かである fact18: あの有能さは際限無くない fact19: あのＰＦＳは呼び易くないとすれば「このトマトベースは臭くない」ということは事実と異ならない fact20: その好塩基球はフェルトペンでない fact21: なにかは分類整理する fact22: 「吠え続ける」ものはある
fact8 & fact13 -> int1: その好塩基球は切り替え線でそれに女っぽい; int1 -> int2: 「切り替え線だしまた女っぽい」ものはある; int2 & fact9 -> int3: あの有能さは昇圧薬だ; fact18 & fact16 -> int4: あの有能さは法案成立であるしその上それはめでたし; int4 -> int5: あの有能さはめでたし; int3 & int5 -> int6: あの有能さは昇圧薬であるしめでたし; int6 & fact2 -> int7: あの有能さはフェルトペンであるということはない; int7 & fact11 -> int8: あのＰＦＳは見易いということはない; fact12 -> int9: もし仮にあのＰＦＳは見易くないとすれば「呼び易くて更によど号である」ということは間違っている; int8 & int9 -> int10: 「あのＰＦＳは呼び易いしそれはよど号である」ということは間違っている; int10 & fact1 -> 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$ = 
fact8 & fact13 -> int1: その好塩基球は切り替え線でそれに女っぽい; int1 -> int2: 「切り替え線だしまた女っぽい」ものはある; int2 & fact9 -> int3: あの有能さは昇圧薬だ; fact18 & fact16 -> int4: あの有能さは法案成立であるしその上それはめでたし; int4 -> int5: あの有能さはめでたし; int3 & int5 -> int6: あの有能さは昇圧薬であるしめでたし; int6 & fact2 -> int7: あの有能さはフェルトペンであるということはない; int7 & fact11 -> int8: あのＰＦＳは見易いということはない; fact12 -> int9: もし仮にあのＰＦＳは見易くないとすれば「呼び易くて更によど号である」ということは間違っている; int8 & int9 -> int10: 「あのＰＦＳは呼び易いしそれはよど号である」ということは間違っている; int10 & fact1 -> 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. 事実8と事実13から、推論1: "その好塩基球は切り替え線でそれに女っぽい"が導かれる
2. 推論1から、推論2: "「切り替え線だしまた女っぽい」ものはある"が導かれる
3. 推論2と事実9から、推論3: "あの有能さは昇圧薬だ"が導かれる
4. 事実18と事実16から、推論4: "あの有能さは法案成立であるしその上それはめでたし"が導かれる
5. 推論4から、推論5: "あの有能さはめでたし"が導かれる
6. 推論3と推論5から、推論6: "あの有能さは昇圧薬であるしめでたし"が導かれる
7. 推論6と事実2から、推論7: "あの有能さはフェルトペンであるということはない"が導かれる
8. 推論7と事実11から、推論8: "あのＰＦＳは見易いということはない"が導かれる
9. 事実12から、推論9: "もし仮にあのＰＦＳは見易くないとすれば「呼び易くて更によど号である」ということは間違っている"が導かれる
10. 推論8と推論9から、推論10: "「あのＰＦＳは呼び易いしそれはよど号である」ということは間違っている"が導かれる
11. 推論10と事実1から、仮説が否定される

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