「この保証人Ｃはこっ酷い一方でそれは百席でない」ということは成り立たない
fact1: その柱脚はこっ酷い fact2: 仮にその柱脚が百席だということはないとするとこの保証人Ｃは受信ユニットである fact3: メソジスト監督教会はフィルタメニューであるけれど受信ユニットでない fact4: この保証人Ｃは宣戦布告しない fact5: その柱脚は齟齬する fact6: もしもこの保証人Ｃが崇めなくて加えて声量だということはないならそれはメソジスト監督教会だ fact7: その柱脚は受信ユニットでない fact8: この戦争景気は百席だ fact9: もし仮にこの保証人Ｃが受信ユニットでないならその柱脚は百席だ fact10: 仮にその柱脚が受信ユニットでないとすればこの保証人Ｃはこっ酷いけど百席でない fact11: この保証人Ｃはこっ酷い fact12: もし「この保証人Ｃはこっ酷くない」ということは事実だとすればあの柱脚は百席だけれど受信ユニットでない fact13: その柱脚は議長役である fact14: この保証人Ｃはこっ酷いがしかしそれは受信ユニットでない fact15: もしもなんらかの物は受信ユニットであるとすると「それはこっ酷いしそれは百席でない」ということは偽だ fact16: この保証人Ｃは受信ユニットでない fact17: もしその柱脚が百席でないならこの保証人Ｃはこっ酷い一方で受信ユニットでない fact18: その柱脚は私法でない
fact10 & fact7 -> hypothesis;
fact10 & fact7 -> hypothesis;
「この保証人Ｃはこっ酷いけれど百席でない」ということは成り立たない
fact19 -> int1: 仮に「この保証人Ｃは受信ユニットである」ということは間違いでないとすれば「こっ酷いしその上百席でない」ということは成り立たない;
$facts$ = fact1: その柱脚はこっ酷い fact2: 仮にその柱脚が百席だということはないとするとこの保証人Ｃは受信ユニットである fact3: メソジスト監督教会はフィルタメニューであるけれど受信ユニットでない fact4: この保証人Ｃは宣戦布告しない fact5: その柱脚は齟齬する fact6: もしもこの保証人Ｃが崇めなくて加えて声量だということはないならそれはメソジスト監督教会だ fact7: その柱脚は受信ユニットでない fact8: この戦争景気は百席だ fact9: もし仮にこの保証人Ｃが受信ユニットでないならその柱脚は百席だ fact10: 仮にその柱脚が受信ユニットでないとすればこの保証人Ｃはこっ酷いけど百席でない fact11: この保証人Ｃはこっ酷い fact12: もし「この保証人Ｃはこっ酷くない」ということは事実だとすればあの柱脚は百席だけれど受信ユニットでない fact13: その柱脚は議長役である fact14: この保証人Ｃはこっ酷いがしかしそれは受信ユニットでない fact15: もしもなんらかの物は受信ユニットであるとすると「それはこっ酷いしそれは百席でない」ということは偽だ fact16: この保証人Ｃは受信ユニットでない fact17: もしその柱脚が百席でないならこの保証人Ｃはこっ酷い一方で受信ユニットでない fact18: その柱脚は私法でない ; $hypothesis$ = 「この保証人Ｃはこっ酷い一方でそれは百席でない」ということは成り立たない ; $proof$ = 
fact10 & fact7 -> hypothesis; __DISPROVED__
事実1: その柱脚はこっ酷い
事実2: 仮にその柱脚が百席だということはないとするとこの保証人Ｃは受信ユニットである
事実3: メソジスト監督教会はフィルタメニューであるけれど受信ユニットでない
事実4: この保証人Ｃは宣戦布告しない
事実5: その柱脚は齟齬する
事実6: もしもこの保証人Ｃが崇めなくて加えて声量だということはないならそれはメソジスト監督教会だ
事実7: その柱脚は受信ユニットでない
事実8: この戦争景気は百席だ
事実9: もし仮にこの保証人Ｃが受信ユニットでないならその柱脚は百席だ
事実10: 仮にその柱脚が受信ユニットでないとすればこの保証人Ｃはこっ酷いけど百席でない
事実11: この保証人Ｃはこっ酷い
事実12: もし「この保証人Ｃはこっ酷くない」ということは事実だとすればあの柱脚は百席だけれど受信ユニットでない
事実13: その柱脚は議長役である
事実14: この保証人Ｃはこっ酷いがしかしそれは受信ユニットでない
事実15: もしもなんらかの物は受信ユニットであるとすると「それはこっ酷いしそれは百席でない」ということは偽だ
事実16: この保証人Ｃは受信ユニットでない
事実17: もしその柱脚が百席でないならこの保証人Ｃはこっ酷い一方で受信ユニットでない
事実18: その柱脚は私法でない

仮説: 「この保証人Ｃはこっ酷い一方でそれは百席でない」ということは成り立たない
1. 事実10と事実7から、仮説が否定される

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