「「あの大親友は幻想交響曲である一方で倒れ難くない」ということは成り立つ」ということは正しくない
fact1: その消防団員は雄々しかない fact2: あの大親友は倒れ難くない fact3: その消防団員は幻想交響曲であるがそれは雄々しかない fact4: 仮にその消防団員が幻想交響曲であるならあの大親友は幻想交響曲だが倒れ難くない fact5: 仮にその消防団員が幻想交響曲だとしたらあの大親友は倒れ難くない fact6: もし仮に何かは雄々しかないとすれば「幻想交響曲であるけれど倒れ難くない」ということは成り立たない
fact3 -> int1: その消防団員は幻想交響曲だ; int1 & fact4 -> hypothesis;
「あの大親友は幻想交響曲であるがしかし倒れ難くない」ということは間違いである
fact7 -> int2: もしあの大親友は雄々しかないとすると「それは幻想交響曲であるしその上それは倒れ難くない」ということは成り立つということはない;
$facts$ = fact1: その消防団員は雄々しかない fact2: あの大親友は倒れ難くない fact3: その消防団員は幻想交響曲であるがそれは雄々しかない fact4: 仮にその消防団員が幻想交響曲であるならあの大親友は幻想交響曲だが倒れ難くない fact5: 仮にその消防団員が幻想交響曲だとしたらあの大親友は倒れ難くない fact6: もし仮に何かは雄々しかないとすれば「幻想交響曲であるけれど倒れ難くない」ということは成り立たない ; $hypothesis$ = 「「あの大親友は幻想交響曲である一方で倒れ難くない」ということは成り立つ」ということは正しくない ; $proof$ = 
fact3 -> int1: その消防団員は幻想交響曲だ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: その消防団員は雄々しかない
事実2: あの大親友は倒れ難くない
事実3: その消防団員は幻想交響曲であるがそれは雄々しかない
事実4: 仮にその消防団員が幻想交響曲であるならあの大親友は幻想交響曲だが倒れ難くない
事実5: 仮にその消防団員が幻想交響曲だとしたらあの大親友は倒れ難くない
事実6: もし仮に何かは雄々しかないとすれば「幻想交響曲であるけれど倒れ難くない」ということは成り立たない

仮説: 「「あの大親友は幻想交響曲である一方で倒れ難くない」ということは成り立つ」ということは正しくない
1. 事実3から、推論1: "その消防団員は幻想交響曲だ"が導かれる
2. 推論1と事実4から、仮説が否定される

よって、仮説が否定されました。