その的外れは分離しない
fact1: もし仮にあの自己中心主義がパームしなくておまけにリアン姉でないとしたらその的外れは分離しない fact2: とある物が飢え死にするとすると変造しなくてしかも悪巧みであるということはない fact3: 「あの自己中心主義は飢え死にする」ということは確かだとするとその的外れは分離する fact4: その帰宅が悶え苦しまないならばあの自己中心主義は飢え死にするしかつ保証能力である fact5: あの自己中心主義はパームしなくておまけにリアン姉でない fact6: 仮にあの自己中心主義がリアン姉であるがそれは分離するということはないとすれば「その的外れはパームしない」ということは確かである
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
「あの自己中心主義は変造するということはなくて更に悪巧みでない」ということは成り立つ
fact7 -> int1: もし仮にあの自己中心主義が飢え死にするなら変造しなくてそれは悪巧みでない;
$facts$ = fact1: もし仮にあの自己中心主義がパームしなくておまけにリアン姉でないとしたらその的外れは分離しない fact2: とある物が飢え死にするとすると変造しなくてしかも悪巧みであるということはない fact3: 「あの自己中心主義は飢え死にする」ということは確かだとするとその的外れは分離する fact4: その帰宅が悶え苦しまないならばあの自己中心主義は飢え死にするしかつ保証能力である fact5: あの自己中心主義はパームしなくておまけにリアン姉でない fact6: 仮にあの自己中心主義がリアン姉であるがそれは分離するということはないとすれば「その的外れはパームしない」ということは確かである ; $hypothesis$ = その的外れは分離しない ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にあの自己中心主義がパームしなくておまけにリアン姉でないとしたらその的外れは分離しない
事実2: とある物が飢え死にするとすると変造しなくてしかも悪巧みであるということはない
事実3: 「あの自己中心主義は飢え死にする」ということは確かだとするとその的外れは分離する
事実4: その帰宅が悶え苦しまないならばあの自己中心主義は飢え死にするしかつ保証能力である
事実5: あの自己中心主義はパームしなくておまけにリアン姉でない
事実6: 仮にあの自己中心主義がリアン姉であるがそれは分離するということはないとすれば「その的外れはパームしない」ということは確かである

仮説: その的外れは分離しない
1. 事実1と事実5から、仮説が導かれる

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