その車止めは厭わしい
fact1: もしも「とある物は信仰深くなくて初々しかない」ということは成り立たないとしたら厭わしい fact2: もしもその旅行バッグが若しとしたら開放モデルでないしその上薄青くない fact3: その旅行バッグは若しし加えて養子免疫療法だ fact4: その車止めは厭わしい fact5: あの父母は厭わしい fact6: もし仮に「その車止めは開放モデルであるがそれは若しない」ということは成り立たないならばその都市近郊は薄青い fact7: もしも何かは薄青いとしたら「それは信仰深くないしかつ初々しかない」ということは成り立たない
fact4 -> hypothesis;
fact4 -> hypothesis;
その車止めは厭わしくない
fact8 -> int1: その旅行バッグは若し; fact9 & int1 -> int2: その旅行バッグは開放モデルだということはなくて薄青くない; int2 -> int3: その旅行バッグは薄青くない; int3 -> int4: 「薄青いということはない」ものはある;
$facts$ = fact1: もしも「とある物は信仰深くなくて初々しかない」ということは成り立たないとしたら厭わしい fact2: もしもその旅行バッグが若しとしたら開放モデルでないしその上薄青くない fact3: その旅行バッグは若しし加えて養子免疫療法だ fact4: その車止めは厭わしい fact5: あの父母は厭わしい fact6: もし仮に「その車止めは開放モデルであるがそれは若しない」ということは成り立たないならばその都市近郊は薄青い fact7: もしも何かは薄青いとしたら「それは信仰深くないしかつ初々しかない」ということは成り立たない ; $hypothesis$ = その車止めは厭わしい ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしも「とある物は信仰深くなくて初々しかない」ということは成り立たないとしたら厭わしい
事実2: もしもその旅行バッグが若しとしたら開放モデルでないしその上薄青くない
事実3: その旅行バッグは若しし加えて養子免疫療法だ
事実4: その車止めは厭わしい
事実5: あの父母は厭わしい
事実6: もし仮に「その車止めは開放モデルであるがそれは若しない」ということは成り立たないならばその都市近郊は薄青い
事実7: もしも何かは薄青いとしたら「それは信仰深くないしかつ初々しかない」ということは成り立たない

仮説: その車止めは厭わしい
1. 事実4から、仮説が導かれる

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