この革命前は放散である
fact1: もしこの革命前が総長だとすればあの守備力は放散である fact2: 仮になにがしかのものが抗えないけれどそれが製造委託先であるとするとそのセンター側は放散でない fact3: もし仮にあの守備力が竹原家なら抗えないしその上それは製造委託先だ fact4: もしも何かはシックスでないならフィーチャーするし総長だ fact5: もしあの守備力は総長であるならばそれはフィーチャーする fact6: もしも「なにかは人口規模であるし歓だ」ということは嘘であるとすると歓であるということはない fact7: あの守備力は総長だ fact8: あの守備力は竹原家である fact9: この革命前は総長だ fact10: 歓は放散である fact11: もしもあの受難者がシックスだとしたらこの革命前は歓だ fact12: もし仮にあの守備力がフィーチャーするとしたらあの受難者はシックスである fact13: なんらかの物は放散だということはなくてまた歓でないならそれはシックスであるということはない
fact5 & fact7 -> int1: あの守備力はフィーチャーする; int1 & fact12 -> int2: あの受難者はシックスである; int2 & fact11 -> int3: この革命前は歓である; fact10 -> int4: もしこの革命前が歓だとすれば放散だ; int3 & int4 -> hypothesis;
そのセンター側は総長である
fact17 -> int5: 仮にそのセンター側がシックスでないとすればフィーチャーするし更に総長である; fact16 -> int6: もしもそのセンター側が放散でないしそれは歓でないとするとシックスでない; fact19 & fact15 -> int7: あの守備力は抗えないけど製造委託先である; int7 -> int8: 「抗えるということはないけれど製造委託先な」物はある; int8 & fact14 -> int9: そのセンター側は放散でない; fact18 -> int10: もし仮に「そのセンター側は人口規模であるし更に歓である」ということは事実でないなら「歓でない」ということは正しい;
$facts$ = fact1: もしこの革命前が総長だとすればあの守備力は放散である fact2: 仮になにがしかのものが抗えないけれどそれが製造委託先であるとするとそのセンター側は放散でない fact3: もし仮にあの守備力が竹原家なら抗えないしその上それは製造委託先だ fact4: もしも何かはシックスでないならフィーチャーするし総長だ fact5: もしあの守備力は総長であるならばそれはフィーチャーする fact6: もしも「なにかは人口規模であるし歓だ」ということは嘘であるとすると歓であるということはない fact7: あの守備力は総長だ fact8: あの守備力は竹原家である fact9: この革命前は総長だ fact10: 歓は放散である fact11: もしもあの受難者がシックスだとしたらこの革命前は歓だ fact12: もし仮にあの守備力がフィーチャーするとしたらあの受難者はシックスである fact13: なんらかの物は放散だということはなくてまた歓でないならそれはシックスであるということはない ; $hypothesis$ = この革命前は放散である ; $proof$ = 
fact5 & fact7 -> int1: あの守備力はフィーチャーする; int1 & fact12 -> int2: あの受難者はシックスである; int2 & fact11 -> int3: この革命前は歓である; fact10 -> int4: もしこの革命前が歓だとすれば放散だ; int3 & int4 -> hypothesis; __PROVED__
事実1: もしこの革命前が総長だとすればあの守備力は放散である
事実2: 仮になにがしかのものが抗えないけれどそれが製造委託先であるとするとそのセンター側は放散でない
事実3: もし仮にあの守備力が竹原家なら抗えないしその上それは製造委託先だ
事実4: もしも何かはシックスでないならフィーチャーするし総長だ
事実5: もしあの守備力は総長であるならばそれはフィーチャーする
事実6: もしも「なにかは人口規模であるし歓だ」ということは嘘であるとすると歓であるということはない
事実7: あの守備力は総長だ
事実8: あの守備力は竹原家である
事実9: この革命前は総長だ
事実10: 歓は放散である
事実11: もしもあの受難者がシックスだとしたらこの革命前は歓だ
事実12: もし仮にあの守備力がフィーチャーするとしたらあの受難者はシックスである
事実13: なんらかの物は放散だということはなくてまた歓でないならそれはシックスであるということはない

仮説: この革命前は放散である
1. 事実5と事実7から、推論1: "あの守備力はフィーチャーする"が導かれる
2. 推論1と事実12から、推論2: "あの受難者はシックスである"が導かれる
3. 推論2と事実11から、推論3: "この革命前は歓である"が導かれる
4. 事実10から、推論4: "もしこの革命前が歓だとすれば放散だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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