この蹴り技はブルーフィルムだ
fact1: もしも「そのモデラーは共通項でなくて出入りしない」ということは間違っているとすればそれはブルーフィルムでない fact2: あの白朮は諳んぜない fact3: 「この蹴り技は中年過ぎでないしさらに再興すらない」ということは真実でないとすればそれは食料でない fact4: この蹴り技は食料でない fact5: 「この蹴り技は出入りしないしまたブルーフィルムでない」ということは事実と異なるとすると多重曲線だということはない fact6: あの大反対は中年過ぎでない fact7: 「この蹴り技は中年過ぎであるということはないし加えて諳んぜない」ということは偽である fact8: 「この蹴り技は中年過ぎでないけれど諳んずる」ということは間違っている fact9: もし「この蹴り技は頂くということはなくてかつ一身でない」ということは成り立たないとすれば「それは中年過ぎでない」ということは事実である fact10: 「この蹴り技は中年過ぎである一方で諳んぜない」ということは成り立つということはない fact11: この蹴り技は後ろ暗くない fact12: もし「「この蹴り技は中年過ぎだということはないしまた諳んぜない」ということは事実である」ということは成り立たないとすればそれはブルーフィルムでない
fact12 & fact7 -> hypothesis;
fact12 & fact7 -> hypothesis;
$facts$ = fact1: もしも「そのモデラーは共通項でなくて出入りしない」ということは間違っているとすればそれはブルーフィルムでない fact2: あの白朮は諳んぜない fact3: 「この蹴り技は中年過ぎでないしさらに再興すらない」ということは真実でないとすればそれは食料でない fact4: この蹴り技は食料でない fact5: 「この蹴り技は出入りしないしまたブルーフィルムでない」ということは事実と異なるとすると多重曲線だということはない fact6: あの大反対は中年過ぎでない fact7: 「この蹴り技は中年過ぎであるということはないし加えて諳んぜない」ということは偽である fact8: 「この蹴り技は中年過ぎでないけれど諳んずる」ということは間違っている fact9: もし「この蹴り技は頂くということはなくてかつ一身でない」ということは成り立たないとすれば「それは中年過ぎでない」ということは事実である fact10: 「この蹴り技は中年過ぎである一方で諳んぜない」ということは成り立つということはない fact11: この蹴り技は後ろ暗くない fact12: もし「「この蹴り技は中年過ぎだということはないしまた諳んぜない」ということは事実である」ということは成り立たないとすればそれはブルーフィルムでない ; $hypothesis$ = この蹴り技はブルーフィルムだ ; $proof$ = 
fact12 & fact7 -> hypothesis; __DISPROVED__
事実1: もしも「そのモデラーは共通項でなくて出入りしない」ということは間違っているとすればそれはブルーフィルムでない
事実2: あの白朮は諳んぜない
事実3: 「この蹴り技は中年過ぎでないしさらに再興すらない」ということは真実でないとすればそれは食料でない
事実4: この蹴り技は食料でない
事実5: 「この蹴り技は出入りしないしまたブルーフィルムでない」ということは事実と異なるとすると多重曲線だということはない
事実6: あの大反対は中年過ぎでない
事実7: 「この蹴り技は中年過ぎであるということはないし加えて諳んぜない」ということは偽である
事実8: 「この蹴り技は中年過ぎでないけれど諳んずる」ということは間違っている
事実9: もし「この蹴り技は頂くということはなくてかつ一身でない」ということは成り立たないとすれば「それは中年過ぎでない」ということは事実である
事実10: 「この蹴り技は中年過ぎである一方で諳んぜない」ということは成り立つということはない
事実11: この蹴り技は後ろ暗くない
事実12: もし「「この蹴り技は中年過ぎだということはないしまた諳んぜない」ということは事実である」ということは成り立たないとすればそれはブルーフィルムでない

仮説: この蹴り技はブルーフィルムだ
1. 事実12と事実7から、仮説が否定される

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