あの太陽系は失速だ
fact1: 仮に「あの勲章廃棄式はＸＸでなくて消せない」ということは誤っていれば専念しない fact2: 「とあるものは逃散するけれどそれは専念しない」ということは偽であるならそれは待遇する fact3: もしもその五千万人は待遇するとすると「あの体循環は待遇するということはないかあるいは揺さぶらないか両方ともだ」ということは間違っている fact4: もし「あの体循環は待遇するかあるいは揺さぶらないかあるいはどちらもだ」ということは成り立たないとするとあの太陽系は失速である fact5: 「あの勲章廃棄式はＸＸでないしそれに消せない」ということは偽である fact6: 仮にあの勲章廃棄式は専念しないとすれば「その五千万人は逃散するけど専念しない」ということは成り立つということはない fact7: 「その五千万人は逃散するし専念する」ということは成り立たない fact8: もし仮にあの勲章廃棄式がＸＸなら専念しない fact9: 仮にあの勲章廃棄式は専念しないとしたら「その五千万人は逃散するしおまけに専念する」ということは偽である fact10: 「あの勲章廃棄式はＸＸだがしかし消せない」ということは正しくない fact11: もし「「あの体循環は待遇しないかまたは揺さぶらないかあるいは両方だ」ということは偽でない」ということは真実でないとしたらあの太陽系は失速である fact12: 仮にその五千万人は待遇するとすれば「あの体循環は待遇する」ということは正しい
fact1 & fact5 -> int1: 「あの勲章廃棄式は専念しない」ということは本当である; int1 & fact6 -> int2: 「その五千万人は逃散する一方で専念しない」ということは正しくない; fact2 -> int3: もし仮に「その五千万人は逃散するけどそれは専念しない」ということは偽であるならばそれは待遇する; int2 & int3 -> int4: その五千万人は待遇する; int4 & fact3 -> int5: 「あの体循環は待遇しないかあるいはそれは揺さぶらない」ということは嘘である; int5 & fact11 -> hypothesis;
$facts$ = fact1: 仮に「あの勲章廃棄式はＸＸでなくて消せない」ということは誤っていれば専念しない fact2: 「とあるものは逃散するけれどそれは専念しない」ということは偽であるならそれは待遇する fact3: もしもその五千万人は待遇するとすると「あの体循環は待遇するということはないかあるいは揺さぶらないか両方ともだ」ということは間違っている fact4: もし「あの体循環は待遇するかあるいは揺さぶらないかあるいはどちらもだ」ということは成り立たないとするとあの太陽系は失速である fact5: 「あの勲章廃棄式はＸＸでないしそれに消せない」ということは偽である fact6: 仮にあの勲章廃棄式は専念しないとすれば「その五千万人は逃散するけど専念しない」ということは成り立つということはない fact7: 「その五千万人は逃散するし専念する」ということは成り立たない fact8: もし仮にあの勲章廃棄式がＸＸなら専念しない fact9: 仮にあの勲章廃棄式は専念しないとしたら「その五千万人は逃散するしおまけに専念する」ということは偽である fact10: 「あの勲章廃棄式はＸＸだがしかし消せない」ということは正しくない fact11: もし「「あの体循環は待遇しないかまたは揺さぶらないかあるいは両方だ」ということは偽でない」ということは真実でないとしたらあの太陽系は失速である fact12: 仮にその五千万人は待遇するとすれば「あの体循環は待遇する」ということは正しい ; $hypothesis$ = あの太陽系は失速だ ; $proof$ = 
fact1 & fact5 -> int1: 「あの勲章廃棄式は専念しない」ということは本当である; int1 & fact6 -> int2: 「その五千万人は逃散する一方で専念しない」ということは正しくない; fact2 -> int3: もし仮に「その五千万人は逃散するけどそれは専念しない」ということは偽であるならばそれは待遇する; int2 & int3 -> int4: その五千万人は待遇する; int4 & fact3 -> int5: 「あの体循環は待遇しないかあるいはそれは揺さぶらない」ということは嘘である; int5 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「あの勲章廃棄式はＸＸでなくて消せない」ということは誤っていれば専念しない
事実2: 「とあるものは逃散するけれどそれは専念しない」ということは偽であるならそれは待遇する
事実3: もしもその五千万人は待遇するとすると「あの体循環は待遇するということはないかあるいは揺さぶらないか両方ともだ」ということは間違っている
事実4: もし「あの体循環は待遇するかあるいは揺さぶらないかあるいはどちらもだ」ということは成り立たないとするとあの太陽系は失速である
事実5: 「あの勲章廃棄式はＸＸでないしそれに消せない」ということは偽である
事実6: 仮にあの勲章廃棄式は専念しないとすれば「その五千万人は逃散するけど専念しない」ということは成り立つということはない
事実7: 「その五千万人は逃散するし専念する」ということは成り立たない
事実8: もし仮にあの勲章廃棄式がＸＸなら専念しない
事実9: 仮にあの勲章廃棄式は専念しないとしたら「その五千万人は逃散するしおまけに専念する」ということは偽である
事実10: 「あの勲章廃棄式はＸＸだがしかし消せない」ということは正しくない
事実11: もし「「あの体循環は待遇しないかまたは揺さぶらないかあるいは両方だ」ということは偽でない」ということは真実でないとしたらあの太陽系は失速である
事実12: 仮にその五千万人は待遇するとすれば「あの体循環は待遇する」ということは正しい

仮説: あの太陽系は失速だ
1. 事実1と事実5から、推論1: "「あの勲章廃棄式は専念しない」ということは本当である"が導かれる
2. 推論1と事実6から、推論2: "「その五千万人は逃散する一方で専念しない」ということは正しくない"が導かれる
3. 事実2から、推論3: "もし仮に「その五千万人は逃散するけどそれは専念しない」ということは偽であるならばそれは待遇する"が導かれる
4. 推論2と推論3から、推論4: "その五千万人は待遇する"が導かれる
5. 推論4と事実3から、推論5: "「あの体循環は待遇しないかあるいはそれは揺さぶらない」ということは嘘である"が導かれる
6. 推論5と事実11から、仮説が導かれる

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