この四天王寺はいがらっぽい
fact1: この四天王寺は勃起しない fact2: 「宿はいがらっぽい」ということは成り立つ fact3: もしも「あの督促異議は晴々しかなくて加えてそれは悪しくない」ということは嘘であるとするとこの四天王寺は蒔き付けない fact4: なにがしかのものが蒔き付けるということはないとすればそれは宿であるし加えて欠損金でない fact5: もし仮に宿は欠損金でないならばそれは勃起しない fact6: もし何かは泊まり込めば宿だ fact7: この四天王寺は泊まり込むがしかし勃起しない
fact7 -> int1: この四天王寺は泊まり込む; fact6 -> int2: もしもこの四天王寺が泊まり込むなら宿だ; int1 & int2 -> int3: この四天王寺は宿だ; fact2 -> int4: この四天王寺は宿であるとすればいがらっぽい; int3 & int4 -> hypothesis;
あの二所詣ではいがらっぽい
fact10 -> int5: もし仮にこの四天王寺は宿だが欠損金だということはないとすると勃起しない; fact9 -> int6: もし仮にこの四天王寺が蒔き付けないならば宿であるが欠損金でない;
$facts$ = fact1: この四天王寺は勃起しない fact2: 「宿はいがらっぽい」ということは成り立つ fact3: もしも「あの督促異議は晴々しかなくて加えてそれは悪しくない」ということは嘘であるとするとこの四天王寺は蒔き付けない fact4: なにがしかのものが蒔き付けるということはないとすればそれは宿であるし加えて欠損金でない fact5: もし仮に宿は欠損金でないならばそれは勃起しない fact6: もし何かは泊まり込めば宿だ fact7: この四天王寺は泊まり込むがしかし勃起しない ; $hypothesis$ = この四天王寺はいがらっぽい ; $proof$ = 
fact7 -> int1: この四天王寺は泊まり込む; fact6 -> int2: もしもこの四天王寺が泊まり込むなら宿だ; int1 & int2 -> int3: この四天王寺は宿だ; fact2 -> int4: この四天王寺は宿であるとすればいがらっぽい; int3 & int4 -> hypothesis; __PROVED__
事実1: この四天王寺は勃起しない
事実2: 「宿はいがらっぽい」ということは成り立つ
事実3: もしも「あの督促異議は晴々しかなくて加えてそれは悪しくない」ということは嘘であるとするとこの四天王寺は蒔き付けない
事実4: なにがしかのものが蒔き付けるということはないとすればそれは宿であるし加えて欠損金でない
事実5: もし仮に宿は欠損金でないならばそれは勃起しない
事実6: もし何かは泊まり込めば宿だ
事実7: この四天王寺は泊まり込むがしかし勃起しない

仮説: この四天王寺はいがらっぽい
1. 事実7から、推論1: "この四天王寺は泊まり込む"が導かれる
2. 事実6から、推論2: "もしもこの四天王寺が泊まり込むなら宿だ"が導かれる
3. 推論1と推論2から、推論3: "この四天王寺は宿だ"が導かれる
4. 事実2から、推論4: "この四天王寺は宿であるとすればいがらっぽい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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