その東京裁判所は痒みでなくてしかも強しない
fact1: どれもこれもはダウンロードするしおまけに染み渡る fact2: その東京裁判所は気張るし戯れ合う fact3: 仮にこの散文詩がダウンロードする一方でタキシード姿でないとするとこの諸技術は関係深くない fact4: 仮にその東京裁判所が気張るし更に奮起であるならこの散文詩はタキシード姿だということはない fact5: もしとある物は奮起でないなら痒みでないし更に強しない fact6: どれもこれもは健康生活であるしさらに関係深い
fact2 -> int1: その東京裁判所は気張る; void -> assump1: 以下のように仮定する。その東京裁判所は奮起である; int1 & assump1 -> int2: その東京裁判所は気張るし奮起である; int2 & fact4 -> int3: この散文詩はタキシード姿であるということはない; fact1 -> int4: この散文詩はダウンロードするしその上染み渡る; int4 -> int5: この散文詩はダウンロードする; int3 & int5 -> int6: この散文詩はダウンロードするがそれはタキシード姿でない; int6 & fact3 -> int7: この諸技術は関係深くない; fact6 -> int8: この諸技術が健康生活だしそれに関係深い; int8 -> int9: この諸技術は関係深い; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その東京裁判所は奮起でない; fact5 -> int12: その東京裁判所が奮起でないとすればそれは痒みでなくて強しということはない; int11 & int12 -> hypothesis;
$facts$ = fact1: どれもこれもはダウンロードするしおまけに染み渡る fact2: その東京裁判所は気張るし戯れ合う fact3: 仮にこの散文詩がダウンロードする一方でタキシード姿でないとするとこの諸技術は関係深くない fact4: 仮にその東京裁判所が気張るし更に奮起であるならこの散文詩はタキシード姿だということはない fact5: もしとある物は奮起でないなら痒みでないし更に強しない fact6: どれもこれもは健康生活であるしさらに関係深い ; $hypothesis$ = その東京裁判所は痒みでなくてしかも強しない ; $proof$ = 
fact2 -> int1: その東京裁判所は気張る; void -> assump1: 以下のように仮定する。その東京裁判所は奮起である; int1 & assump1 -> int2: その東京裁判所は気張るし奮起である; int2 & fact4 -> int3: この散文詩はタキシード姿であるということはない; fact1 -> int4: この散文詩はダウンロードするしその上染み渡る; int4 -> int5: この散文詩はダウンロードする; int3 & int5 -> int6: この散文詩はダウンロードするがそれはタキシード姿でない; int6 & fact3 -> int7: この諸技術は関係深くない; fact6 -> int8: この諸技術が健康生活だしそれに関係深い; int8 -> int9: この諸技術は関係深い; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その東京裁判所は奮起でない; fact5 -> int12: その東京裁判所が奮起でないとすればそれは痒みでなくて強しということはない; int11 & int12 -> hypothesis; __PROVED__
事実1: どれもこれもはダウンロードするしおまけに染み渡る
事実2: その東京裁判所は気張るし戯れ合う
事実3: 仮にこの散文詩がダウンロードする一方でタキシード姿でないとするとこの諸技術は関係深くない
事実4: 仮にその東京裁判所が気張るし更に奮起であるならこの散文詩はタキシード姿だということはない
事実5: もしとある物は奮起でないなら痒みでないし更に強しない
事実6: どれもこれもは健康生活であるしさらに関係深い

仮説: その東京裁判所は痒みでなくてしかも強しない
1. 事実2から、推論1: "その東京裁判所は気張る"が導かれる
2. 仮定1: 以下のように仮定する。その東京裁判所は奮起である
3. 推論1と仮定1から、推論2: "その東京裁判所は気張るし奮起である"が導かれる
4. 推論2と事実4から、推論3: "この散文詩はタキシード姿であるということはない"が導かれる
5. 事実1から、推論4: "この散文詩はダウンロードするしその上染み渡る"が導かれる
6. 推論4から、推論5: "この散文詩はダウンロードする"が導かれる
7. 推論3と推論5から、推論6: "この散文詩はダウンロードするがそれはタキシード姿でない"が導かれる
8. 推論6と事実3から、推論7: "この諸技術は関係深くない"が導かれる
9. 事実6から、推論8: "この諸技術が健康生活だしそれに関係深い"が導かれる
10. 推論8から、推論9: "この諸技術は関係深い"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その東京裁判所は奮起でない"が導かれる
13. 事実5から、推論12: "その東京裁判所が奮起でないとすればそれは痒みでなくて強しということはない"が導かれる
14. 推論11と推論12から、仮説が導かれる

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