「この東京都衛生局は排便でおまけにロジック回路である」ということは成り立たない
fact1: この東京都衛生局は惜しみ無くないし追従しない fact2: この爆撃高度は探り当てる fact3: もし仮にこの東京都衛生局は乱用しないならば「それは疲れ易いしおまけにドキュメンタリー映画である」ということは成り立たない fact4: もしもその女中さんが惜しみ無いとするとこの東京都衛生局は追従する fact5: この東京都衛生局は惜しみ無いということはない fact6: 行い易くないものは追従するが惜しみ無くない fact7: もしなにがしかのものは追従しないとすれば「排便であるしかつそれはロジック回路だ」ということは成り立つということはない fact8: この出窓はロジック回路であるということはない fact9: 仮にその女中さんが行い易くないとするとあの対数は行い易くない fact10: もしも「とあるものは批判するしおまけにそれは行い易い」ということは誤っているとすればそれは行い易いない fact11: 何かは追従すれば排便だ
fact7 -> int1: もし仮にこの東京都衛生局は追従しないなら「排便でそれはロジック回路である」ということは成り立たない; fact1 -> int2: この東京都衛生局は追従しない; int1 & int2 -> hypothesis;
この東京都衛生局は排便でまたそれはロジック回路だ
fact13 -> int3: この東京都衛生局が追従するならそれは排便である;
$facts$ = fact1: この東京都衛生局は惜しみ無くないし追従しない fact2: この爆撃高度は探り当てる fact3: もし仮にこの東京都衛生局は乱用しないならば「それは疲れ易いしおまけにドキュメンタリー映画である」ということは成り立たない fact4: もしもその女中さんが惜しみ無いとするとこの東京都衛生局は追従する fact5: この東京都衛生局は惜しみ無いということはない fact6: 行い易くないものは追従するが惜しみ無くない fact7: もしなにがしかのものは追従しないとすれば「排便であるしかつそれはロジック回路だ」ということは成り立つということはない fact8: この出窓はロジック回路であるということはない fact9: 仮にその女中さんが行い易くないとするとあの対数は行い易くない fact10: もしも「とあるものは批判するしおまけにそれは行い易い」ということは誤っているとすればそれは行い易いない fact11: 何かは追従すれば排便だ ; $hypothesis$ = 「この東京都衛生局は排便でおまけにロジック回路である」ということは成り立たない ; $proof$ = 
fact7 -> int1: もし仮にこの東京都衛生局は追従しないなら「排便でそれはロジック回路である」ということは成り立たない; fact1 -> int2: この東京都衛生局は追従しない; int1 & int2 -> hypothesis; __PROVED__
事実1: この東京都衛生局は惜しみ無くないし追従しない
事実2: この爆撃高度は探り当てる
事実3: もし仮にこの東京都衛生局は乱用しないならば「それは疲れ易いしおまけにドキュメンタリー映画である」ということは成り立たない
事実4: もしもその女中さんが惜しみ無いとするとこの東京都衛生局は追従する
事実5: この東京都衛生局は惜しみ無いということはない
事実6: 行い易くないものは追従するが惜しみ無くない
事実7: もしなにがしかのものは追従しないとすれば「排便であるしかつそれはロジック回路だ」ということは成り立つということはない
事実8: この出窓はロジック回路であるということはない
事実9: 仮にその女中さんが行い易くないとするとあの対数は行い易くない
事実10: もしも「とあるものは批判するしおまけにそれは行い易い」ということは誤っているとすればそれは行い易いない
事実11: 何かは追従すれば排便だ

仮説: 「この東京都衛生局は排便でおまけにロジック回路である」ということは成り立たない
1. 事実7から、推論1: "もし仮にこの東京都衛生局は追従しないなら「排便でそれはロジック回路である」ということは成り立たない"が導かれる
2. 事実1から、推論2: "この東京都衛生局は追従しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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