「あるものは仮住まいする」ということは成り立たない
fact1: その初鰹は近しいけれど行き始めるということはない fact2: 「押し易くない」ものはある fact3: 何らかのものは無くないとしたら「その初鰹は押し易い一方でそれは農機具でない」ということは成り立つ fact4: その初鰹は躑躅公園である fact5: 「何らかのものは身動ぎしない」ということは真実であるとするとその信販は横たわる一方で潰瘍形成でない fact6: もし仮に「押し易くない」物があるとするとその初鰹は画すということはない fact7: その男体山頂は画す fact8: 押し易くない物があるとすればその初鰹は仮住まいするがそれは画さない fact9: その初鰹は押し易い fact10: その初鰹は注ぎ始めるがそれは画さない fact11: もしも「否定し難くない」物があるとしたらその初鰹は押し易いがしかし狙い難いということはない fact12: もし「此れっぽっちだということはない」物があるならあの蓋然性は戒める一方で宜しない fact13: その初鰹は画さない fact14: 「押し易い」ものはある fact15: 「話し難い」ものはある fact16: あの泌乳牛は邪魔臭い一方で仮住まいしない fact17: 「その初鰹は類話である」ということは成り立つ fact18: 「「画す」ということは事実な」物はある fact19: その初鰹は仰々しいけれど潰瘍形成でない fact20: 「大臣名であるということはない」物はある
fact2 & fact8 -> int1: その初鰹は仮住まいするけどそれは画すということはない; int1 -> int2: その初鰹は仮住まいする; int2 -> hypothesis;
fact2 & fact8 -> int1: ({B}{a} & ¬{C}{a}); int1 -> int2: {B}{a}; int2 -> hypothesis;
$facts$ = fact1: その初鰹は近しいけれど行き始めるということはない fact2: 「押し易くない」ものはある fact3: 何らかのものは無くないとしたら「その初鰹は押し易い一方でそれは農機具でない」ということは成り立つ fact4: その初鰹は躑躅公園である fact5: 「何らかのものは身動ぎしない」ということは真実であるとするとその信販は横たわる一方で潰瘍形成でない fact6: もし仮に「押し易くない」物があるとするとその初鰹は画すということはない fact7: その男体山頂は画す fact8: 押し易くない物があるとすればその初鰹は仮住まいするがそれは画さない fact9: その初鰹は押し易い fact10: その初鰹は注ぎ始めるがそれは画さない fact11: もしも「否定し難くない」物があるとしたらその初鰹は押し易いがしかし狙い難いということはない fact12: もし「此れっぽっちだということはない」物があるならあの蓋然性は戒める一方で宜しない fact13: その初鰹は画さない fact14: 「押し易い」ものはある fact15: 「話し難い」ものはある fact16: あの泌乳牛は邪魔臭い一方で仮住まいしない fact17: 「その初鰹は類話である」ということは成り立つ fact18: 「「画す」ということは事実な」物はある fact19: その初鰹は仰々しいけれど潰瘍形成でない fact20: 「大臣名であるということはない」物はある ; $hypothesis$ = 「あるものは仮住まいする」ということは成り立たない ; $proof$ = 
fact2 & fact8 -> int1: その初鰹は仮住まいするけどそれは画すということはない; int1 -> int2: その初鰹は仮住まいする; int2 -> hypothesis; __DISPROVED__
事実1: その初鰹は近しいけれど行き始めるということはない
事実2: 「押し易くない」ものはある
事実3: 何らかのものは無くないとしたら「その初鰹は押し易い一方でそれは農機具でない」ということは成り立つ
事実4: その初鰹は躑躅公園である
事実5: 「何らかのものは身動ぎしない」ということは真実であるとするとその信販は横たわる一方で潰瘍形成でない
事実6: もし仮に「押し易くない」物があるとするとその初鰹は画すということはない
事実7: その男体山頂は画す
事実8: 押し易くない物があるとすればその初鰹は仮住まいするがそれは画さない
事実9: その初鰹は押し易い
事実10: その初鰹は注ぎ始めるがそれは画さない
事実11: もしも「否定し難くない」物があるとしたらその初鰹は押し易いがしかし狙い難いということはない
事実12: もし「此れっぽっちだということはない」物があるならあの蓋然性は戒める一方で宜しない
事実13: その初鰹は画さない
事実14: 「押し易い」ものはある
事実15: 「話し難い」ものはある
事実16: あの泌乳牛は邪魔臭い一方で仮住まいしない
事実17: 「その初鰹は類話である」ということは成り立つ
事実18: 「「画す」ということは事実な」物はある
事実19: その初鰹は仰々しいけれど潰瘍形成でない
事実20: 「大臣名であるということはない」物はある

仮説: 「あるものは仮住まいする」ということは成り立たない
1. 事実2と事実8から、推論1: "その初鰹は仮住まいするけどそれは画すということはない"が導かれる
2. 推論1から、推論2: "その初鰹は仮住まいする"が導かれる
3. 推論2から、仮説が否定される

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