そのテイル形は吹き続けない
fact1: もしあの膜蛋白はカム露でないならば「それがレッドパージだし一回転である」ということは真実だ fact2: もし仮に一回転が吹き続けるとするとそれは逸らさない fact3: もしその液状化対策が一回転ならばあのテイル形は吹き続ける fact4: 仮になにかは筋金でなくておまけに逸らさないとするとそれは吹き続けない fact5: もしもあの膜蛋白が一回転であるとすればその液状化対策は一回転だ fact6: そのテイル形は筋金でなくてそれにそれは逸らさない
fact4 -> int1: もし仮にそのテイル形は筋金でないし逸らさないとすればそれは吹き続けない; int1 & fact6 -> hypothesis;
そのテイル形は吹き続ける
$facts$ = fact1: もしあの膜蛋白はカム露でないならば「それがレッドパージだし一回転である」ということは真実だ fact2: もし仮に一回転が吹き続けるとするとそれは逸らさない fact3: もしその液状化対策が一回転ならばあのテイル形は吹き続ける fact4: 仮になにかは筋金でなくておまけに逸らさないとするとそれは吹き続けない fact5: もしもあの膜蛋白が一回転であるとすればその液状化対策は一回転だ fact6: そのテイル形は筋金でなくてそれにそれは逸らさない ; $hypothesis$ = そのテイル形は吹き続けない ; $proof$ = 
fact4 -> int1: もし仮にそのテイル形は筋金でないし逸らさないとすればそれは吹き続けない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もしあの膜蛋白はカム露でないならば「それがレッドパージだし一回転である」ということは真実だ
事実2: もし仮に一回転が吹き続けるとするとそれは逸らさない
事実3: もしその液状化対策が一回転ならばあのテイル形は吹き続ける
事実4: 仮になにかは筋金でなくておまけに逸らさないとするとそれは吹き続けない
事実5: もしもあの膜蛋白が一回転であるとすればその液状化対策は一回転だ
事実6: そのテイル形は筋金でなくてそれにそれは逸らさない

仮説: そのテイル形は吹き続けない
1. 事実4から、推論1: "もし仮にそのテイル形は筋金でないし逸らさないとすればそれは吹き続けない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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