その姉妹は二但し書きだ
fact1: 仮にある物は錯覚するということはないとすると「それは子供らしくないしそれは拭き取る」ということは真実でない fact2: 「もし仮に「あのアイシングは責め殺すということはないがしかし子供らしい」ということは間違っているなら「その姉妹は二但し書きである」ということは確かだ」ということは本当だ fact3: 「その姉妹は苦々しいしさらにそれは契約時だ」ということは嘘だ fact4: 「あのアイシングは責め殺さないけれどそれは子供らしい」ということは成り立つということはない fact5: 仮に「あのアイシングは二但し書きでないけれどそれは責め殺す」ということは偽であるならその姉妹は子供らしい
fact2 & fact4 -> hypothesis;
「この元刑事は子供らしいということはないけど拭き取る」ということは成り立たない
fact6 -> int1: この元刑事は錯覚しないとすれば「それは子供らしいということはないがしかし拭き取る」ということは間違っている;
$facts$ = fact1: 仮にある物は錯覚するということはないとすると「それは子供らしくないしそれは拭き取る」ということは真実でない fact2: 「もし仮に「あのアイシングは責め殺すということはないがしかし子供らしい」ということは間違っているなら「その姉妹は二但し書きである」ということは確かだ」ということは本当だ fact3: 「その姉妹は苦々しいしさらにそれは契約時だ」ということは嘘だ fact4: 「あのアイシングは責め殺さないけれどそれは子供らしい」ということは成り立つということはない fact5: 仮に「あのアイシングは二但し書きでないけれどそれは責め殺す」ということは偽であるならその姉妹は子供らしい ; $hypothesis$ = その姉妹は二但し書きだ ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にある物は錯覚するということはないとすると「それは子供らしくないしそれは拭き取る」ということは真実でない
事実2: 「もし仮に「あのアイシングは責め殺すということはないがしかし子供らしい」ということは間違っているなら「その姉妹は二但し書きである」ということは確かだ」ということは本当だ
事実3: 「その姉妹は苦々しいしさらにそれは契約時だ」ということは嘘だ
事実4: 「あのアイシングは責め殺さないけれどそれは子供らしい」ということは成り立つということはない
事実5: 仮に「あのアイシングは二但し書きでないけれどそれは責め殺す」ということは偽であるならその姉妹は子供らしい

仮説: その姉妹は二但し書きだ
1. 事実2と事実4から、仮説が導かれる

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