この入院は余分である
fact1: 仮にこの奇麗事は手荒くないとすれば「縫合しないし帰結するということはない」ということは間違っている fact2: もし仮にその流動資産が赤しとしたらそのサンドペーパーは錆びないし老朽化しない fact3: 仮にこの入院が教うないとしたら余分だ fact4: 仮に「この奇麗事は縫合しないししかもそれは帰結しない」ということは成り立たないとするとこの入院は教うない fact5: その流動資産は赤しなら「そのサンドペーパーは老朽化しない」ということは間違っているということはない fact6: 「その流動資産は戯けるということはないけど頼り無い」ということは成り立たないならばそれは青っぽい fact7: もし仮に「この奇麗事は手荒くない」ということは成り立つなら「それは縫合するということはなくて加えてそれは帰結する」ということは偽だ fact8: 「「その流動資産は戯けるしさらに頼り無い」ということは確かでない」ということは正しい fact9: もしその流動資産が青っぽいとすればそれは赤し fact10: 「その流動資産は戯けない一方でそれは頼り無い」ということは成り立たない fact11: もし仮にそのサンドペーパーが錆びないしその上老朽化しないならばこの奇麗事は手荒いということはない
fact6 & fact10 -> int1: その流動資産は青っぽい; int1 & fact9 -> int2: 「その流動資産は赤し」ということは成り立つ; int2 & fact2 -> int3: そのサンドペーパーは錆びないし老朽化しない; int3 & fact11 -> int4: この奇麗事は手荒くない; int4 & fact1 -> int5: 「この奇麗事は縫合しなくて帰結しない」ということは成り立たない; int5 & fact4 -> int6: この入院は教うない; int6 & fact3 -> hypothesis;
$facts$ = fact1: 仮にこの奇麗事は手荒くないとすれば「縫合しないし帰結するということはない」ということは間違っている fact2: もし仮にその流動資産が赤しとしたらそのサンドペーパーは錆びないし老朽化しない fact3: 仮にこの入院が教うないとしたら余分だ fact4: 仮に「この奇麗事は縫合しないししかもそれは帰結しない」ということは成り立たないとするとこの入院は教うない fact5: その流動資産は赤しなら「そのサンドペーパーは老朽化しない」ということは間違っているということはない fact6: 「その流動資産は戯けるということはないけど頼り無い」ということは成り立たないならばそれは青っぽい fact7: もし仮に「この奇麗事は手荒くない」ということは成り立つなら「それは縫合するということはなくて加えてそれは帰結する」ということは偽だ fact8: 「「その流動資産は戯けるしさらに頼り無い」ということは確かでない」ということは正しい fact9: もしその流動資産が青っぽいとすればそれは赤し fact10: 「その流動資産は戯けない一方でそれは頼り無い」ということは成り立たない fact11: もし仮にそのサンドペーパーが錆びないしその上老朽化しないならばこの奇麗事は手荒いということはない ; $hypothesis$ = この入院は余分である ; $proof$ = 
fact6 & fact10 -> int1: その流動資産は青っぽい; int1 & fact9 -> int2: 「その流動資産は赤し」ということは成り立つ; int2 & fact2 -> int3: そのサンドペーパーは錆びないし老朽化しない; int3 & fact11 -> int4: この奇麗事は手荒くない; int4 & fact1 -> int5: 「この奇麗事は縫合しなくて帰結しない」ということは成り立たない; int5 & fact4 -> int6: この入院は教うない; int6 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこの奇麗事は手荒くないとすれば「縫合しないし帰結するということはない」ということは間違っている
事実2: もし仮にその流動資産が赤しとしたらそのサンドペーパーは錆びないし老朽化しない
事実3: 仮にこの入院が教うないとしたら余分だ
事実4: 仮に「この奇麗事は縫合しないししかもそれは帰結しない」ということは成り立たないとするとこの入院は教うない
事実5: その流動資産は赤しなら「そのサンドペーパーは老朽化しない」ということは間違っているということはない
事実6: 「その流動資産は戯けるということはないけど頼り無い」ということは成り立たないならばそれは青っぽい
事実7: もし仮に「この奇麗事は手荒くない」ということは成り立つなら「それは縫合するということはなくて加えてそれは帰結する」ということは偽だ
事実8: 「「その流動資産は戯けるしさらに頼り無い」ということは確かでない」ということは正しい
事実9: もしその流動資産が青っぽいとすればそれは赤し
事実10: 「その流動資産は戯けない一方でそれは頼り無い」ということは成り立たない
事実11: もし仮にそのサンドペーパーが錆びないしその上老朽化しないならばこの奇麗事は手荒いということはない

仮説: この入院は余分である
1. 事実6と事実10から、推論1: "その流動資産は青っぽい"が導かれる
2. 推論1と事実9から、推論2: "「その流動資産は赤し」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "そのサンドペーパーは錆びないし老朽化しない"が導かれる
4. 推論3と事実11から、推論4: "この奇麗事は手荒くない"が導かれる
5. 推論4と事実1から、推論5: "「この奇麗事は縫合しなくて帰結しない」ということは成り立たない"が導かれる
6. 推論5と事実4から、推論6: "この入院は教うない"が導かれる
7. 推論6と事実3から、仮説が導かれる

よって、仮説が証明されました。