その英語用はちっこくない
fact1: 「このウェザー・リポートは結べる」ということは成り立つ fact2: その英語用はきな臭い fact3: あるものが雪深くないとしたら上げ易いということはないしさらに結べるということはない fact4: その英語用は気安い fact5: 「もしなんらかの物が疲労ならばそれはちっこい」ということは成り立つ fact6: もし何らかのものは我慢し為さるが苦しいということはないならば百面化だ fact7: この蝶類はちっこい fact8: もしもその英語用が結べるとしたらそれはちっこい fact9: もし仮に上げ易くない物が結べないならちっこくない fact10: その英語用は工業都市であるならそれはシングルである fact11: 「その英語用は結べる」ということは成り立つ fact12: もしもこのＢＩＯＳ設定画面が百面化ならその英語用は雪深くない fact13: もし仮にこのドロール・プランが結べるとしたらそれは開示す
fact8 & fact11 -> hypothesis;
fact8 & fact11 -> hypothesis;
その英語用はちっこくない
fact16 -> int1: もしその英語用が上げ易くなくて結べないとするとちっこくない; fact15 -> int2: もし仮にその英語用が雪深くないとしたら上げ易くないしまた結べない; fact17 -> int3: 「もしこのＢＩＯＳ設定画面が我慢し為さる一方で苦しくないとしたらこのＢＩＯＳ設定画面は百面化だ」ということは真実である;
$facts$ = fact1: 「このウェザー・リポートは結べる」ということは成り立つ fact2: その英語用はきな臭い fact3: あるものが雪深くないとしたら上げ易いということはないしさらに結べるということはない fact4: その英語用は気安い fact5: 「もしなんらかの物が疲労ならばそれはちっこい」ということは成り立つ fact6: もし何らかのものは我慢し為さるが苦しいということはないならば百面化だ fact7: この蝶類はちっこい fact8: もしもその英語用が結べるとしたらそれはちっこい fact9: もし仮に上げ易くない物が結べないならちっこくない fact10: その英語用は工業都市であるならそれはシングルである fact11: 「その英語用は結べる」ということは成り立つ fact12: もしもこのＢＩＯＳ設定画面が百面化ならその英語用は雪深くない fact13: もし仮にこのドロール・プランが結べるとしたらそれは開示す ; $hypothesis$ = その英語用はちっこくない ; $proof$ = 
fact8 & fact11 -> hypothesis; __DISPROVED__
事実1: 「このウェザー・リポートは結べる」ということは成り立つ
事実2: その英語用はきな臭い
事実3: あるものが雪深くないとしたら上げ易いということはないしさらに結べるということはない
事実4: その英語用は気安い
事実5: 「もしなんらかの物が疲労ならばそれはちっこい」ということは成り立つ
事実6: もし何らかのものは我慢し為さるが苦しいということはないならば百面化だ
事実7: この蝶類はちっこい
事実8: もしもその英語用が結べるとしたらそれはちっこい
事実9: もし仮に上げ易くない物が結べないならちっこくない
事実10: その英語用は工業都市であるならそれはシングルである
事実11: 「その英語用は結べる」ということは成り立つ
事実12: もしもこのＢＩＯＳ設定画面が百面化ならその英語用は雪深くない
事実13: もし仮にこのドロール・プランが結べるとしたらそれは開示す

仮説: その英語用はちっこくない
1. 事実8と事実11から、仮説が否定される

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