このスリーＦは七日付けでおまけにそれは語り尽くす
fact1: 「省察しないしさらに雪深い」ものはある fact2: この浄土論は統計情報部であるとすると「あのローカル・ポーターは暑い」ということは成り立つ fact3: 「語り尽くす」物はある fact4: もし仮になんらかのものが攻め取らないとしたら七日付けだし弱し fact5: もしも「このスリーＦは文学士でないしその上区別し易いということはない」ということは嘘であるとするとそれは攻め取らない fact6: もしも「弱し」物はあるとすれば「このスリーＦは七日付けで語り尽くす」ということは事実と異なる fact7: なんらかの物が省察しないが雪深いならばこの浄土論は統計情報部だ fact8: 「弱し」物はある
fact8 & fact6 -> hypothesis;
fact8 & fact6 -> hypothesis;
このスリーＦは七日付けであるし加えて語り尽くす
fact9 -> int1: もしもこのスリーＦが攻め取らないなら七日付けであるし加えて弱し; fact12 & fact10 -> int2: この浄土論は統計情報部だ; fact11 & int2 -> int3: あのローカル・ポーターは暑い; int3 -> int4: 暑いものはある;
$facts$ = fact1: 「省察しないしさらに雪深い」ものはある fact2: この浄土論は統計情報部であるとすると「あのローカル・ポーターは暑い」ということは成り立つ fact3: 「語り尽くす」物はある fact4: もし仮になんらかのものが攻め取らないとしたら七日付けだし弱し fact5: もしも「このスリーＦは文学士でないしその上区別し易いということはない」ということは嘘であるとするとそれは攻め取らない fact6: もしも「弱し」物はあるとすれば「このスリーＦは七日付けで語り尽くす」ということは事実と異なる fact7: なんらかの物が省察しないが雪深いならばこの浄土論は統計情報部だ fact8: 「弱し」物はある ; $hypothesis$ = このスリーＦは七日付けでおまけにそれは語り尽くす ; $proof$ = 
fact8 & fact6 -> hypothesis; __DISPROVED__
事実1: 「省察しないしさらに雪深い」ものはある
事実2: この浄土論は統計情報部であるとすると「あのローカル・ポーターは暑い」ということは成り立つ
事実3: 「語り尽くす」物はある
事実4: もし仮になんらかのものが攻め取らないとしたら七日付けだし弱し
事実5: もしも「このスリーＦは文学士でないしその上区別し易いということはない」ということは嘘であるとするとそれは攻め取らない
事実6: もしも「弱し」物はあるとすれば「このスリーＦは七日付けで語り尽くす」ということは事実と異なる
事実7: なんらかの物が省察しないが雪深いならばこの浄土論は統計情報部だ
事実8: 「弱し」物はある

仮説: このスリーＦは七日付けでおまけにそれは語り尽くす
1. 事実8と事実6から、仮説が否定される

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