「仮に「戦略性だということはないしそれに臆病者でない」ということは成り立つということはないとすると「形式文法だ」ということは事実と異なるということはない」物はある
fact1: 「「あの手取り平均年収は七堂伽藍でないしその上形式文法でない」ということは間違いだ」ということは成り立つなら時間加重収益率だ fact2: もしも「その肉体改造は戦略性だけれどそれは臆病者でない」ということは偽であるとしたらそれは形式文法である fact3: もしも「なんらかのものは報復する一方でそれは二位集団でない」ということは誤っていればぶっとい fact4: 「もしも「「紛れるしさらに立ち消えない」ということは成り立つ」ということは正しくないとすれば補給出来る」ものはある fact5: もし仮にこの御七夜が戦略性でなくてそれに得度しないとすると「それはし出す」ということは真実だ fact6: もし「ある物は療養するけど報復しない」ということは成り立たないならそれは吸い上げる fact7: 「もしも戦略性でなくて臆病者でないならば「形式文法だ」ということは成り立つ」ものはある fact8: 「何かは戦略性だということはなくて臆病者でない」ということは誤っていればそれは形式文法だ fact9: その肉体改造が臆病者ならばそれは形式文法である
fact8 -> int1: もし仮に「その肉体改造は戦略性でなくて更に臆病者でない」ということは成り立たないとすれば形式文法である; int1 -> hypothesis;
fact8 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「「あの手取り平均年収は七堂伽藍でないしその上形式文法でない」ということは間違いだ」ということは成り立つなら時間加重収益率だ fact2: もしも「その肉体改造は戦略性だけれどそれは臆病者でない」ということは偽であるとしたらそれは形式文法である fact3: もしも「なんらかのものは報復する一方でそれは二位集団でない」ということは誤っていればぶっとい fact4: 「もしも「「紛れるしさらに立ち消えない」ということは成り立つ」ということは正しくないとすれば補給出来る」ものはある fact5: もし仮にこの御七夜が戦略性でなくてそれに得度しないとすると「それはし出す」ということは真実だ fact6: もし「ある物は療養するけど報復しない」ということは成り立たないならそれは吸い上げる fact7: 「もしも戦略性でなくて臆病者でないならば「形式文法だ」ということは成り立つ」ものはある fact8: 「何かは戦略性だということはなくて臆病者でない」ということは誤っていればそれは形式文法だ fact9: その肉体改造が臆病者ならばそれは形式文法である ; $hypothesis$ = 「仮に「戦略性だということはないしそれに臆病者でない」ということは成り立つということはないとすると「形式文法だ」ということは事実と異なるということはない」物はある ; $proof$ = 
fact8 -> int1: もし仮に「その肉体改造は戦略性でなくて更に臆病者でない」ということは成り立たないとすれば形式文法である; int1 -> hypothesis; __PROVED__
事実1: 「「あの手取り平均年収は七堂伽藍でないしその上形式文法でない」ということは間違いだ」ということは成り立つなら時間加重収益率だ
事実2: もしも「その肉体改造は戦略性だけれどそれは臆病者でない」ということは偽であるとしたらそれは形式文法である
事実3: もしも「なんらかのものは報復する一方でそれは二位集団でない」ということは誤っていればぶっとい
事実4: 「もしも「「紛れるしさらに立ち消えない」ということは成り立つ」ということは正しくないとすれば補給出来る」ものはある
事実5: もし仮にこの御七夜が戦略性でなくてそれに得度しないとすると「それはし出す」ということは真実だ
事実6: もし「ある物は療養するけど報復しない」ということは成り立たないならそれは吸い上げる
事実7: 「もしも戦略性でなくて臆病者でないならば「形式文法だ」ということは成り立つ」ものはある
事実8: 「何かは戦略性だということはなくて臆病者でない」ということは誤っていればそれは形式文法だ
事実9: その肉体改造が臆病者ならばそれは形式文法である

仮説: 「仮に「戦略性だということはないしそれに臆病者でない」ということは成り立つということはないとすると「形式文法だ」ということは事実と異なるということはない」物はある
1. 事実8から、推論1: "もし仮に「その肉体改造は戦略性でなくて更に臆病者でない」ということは成り立たないとすれば形式文法である"が導かれる
2. 推論1から、仮説が導かれる

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