この間一髪は歩き通すしまた歩み続ける
fact1: 「その鼓膜穿孔は鬱陶しいけれど振り向くということはない」ということは成り立つということはない fact2: 格好良い物は歩き通す fact3: あの腹身は歩き通す fact4: 「その鼓膜穿孔は鬱陶しいがしかし振り向かない」ということは間違いならこの間一髪は歩み続ける fact5: この間一髪は後ろめたいし格好良い fact6: その鼓膜穿孔は歩き通せば「この間一髪は鬱陶しい」ということは成り立つ
fact5 -> int1: この間一髪は格好良い; fact2 -> int2: もし仮にこの間一髪が格好良いとするとそれは歩き通す; int1 & int2 -> int3: この間一髪は歩き通す; fact4 & fact1 -> int4: この間一髪は歩み続ける; int3 & int4 -> hypothesis;
$facts$ = fact1: 「その鼓膜穿孔は鬱陶しいけれど振り向くということはない」ということは成り立つということはない fact2: 格好良い物は歩き通す fact3: あの腹身は歩き通す fact4: 「その鼓膜穿孔は鬱陶しいがしかし振り向かない」ということは間違いならこの間一髪は歩み続ける fact5: この間一髪は後ろめたいし格好良い fact6: その鼓膜穿孔は歩き通せば「この間一髪は鬱陶しい」ということは成り立つ ; $hypothesis$ = この間一髪は歩き通すしまた歩み続ける ; $proof$ = 
fact5 -> int1: この間一髪は格好良い; fact2 -> int2: もし仮にこの間一髪が格好良いとするとそれは歩き通す; int1 & int2 -> int3: この間一髪は歩き通す; fact4 & fact1 -> int4: この間一髪は歩み続ける; int3 & int4 -> hypothesis; __PROVED__
事実1: 「その鼓膜穿孔は鬱陶しいけれど振り向くということはない」ということは成り立つということはない
事実2: 格好良い物は歩き通す
事実3: あの腹身は歩き通す
事実4: 「その鼓膜穿孔は鬱陶しいがしかし振り向かない」ということは間違いならこの間一髪は歩み続ける
事実5: この間一髪は後ろめたいし格好良い
事実6: その鼓膜穿孔は歩き通せば「この間一髪は鬱陶しい」ということは成り立つ

仮説: この間一髪は歩き通すしまた歩み続ける
1. 事実5から、推論1: "この間一髪は格好良い"が導かれる
2. 事実2から、推論2: "もし仮にこの間一髪が格好良いとするとそれは歩き通す"が導かれる
3. 推論1と推論2から、推論3: "この間一髪は歩き通す"が導かれる
4. 事実4と事実1から、推論4: "この間一髪は歩み続ける"が導かれる
5. 推論3と推論4から、仮説が導かれる

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