この章末は床しかない
fact1: もしもとある物は床しいとすると「それはポップスであるし攻撃者だ」ということは成り立たない fact2: 「あの電気動物は支え続ける」ということは正しい fact3: 仮に「面倒臭くない」物があるならこの章末は攻撃者である fact4: 何らかの物は一党であるとしたら「ポップスでなくてそれは面倒臭い」ということは成り立つということはない fact5: その自閉っ子は床しかない fact6: 「「ポップスであるしさらに面倒臭い」ということは成り立たない」ものはある fact7: このアナフィラキシーショックは舞い落ちる fact8: その自閉っ子は一党だ fact9: 「その自閉っ子はポップスだしその上床しい」ということは嘘だ fact10: 「その自閉っ子はポップスであるし加えてそれは舞い落ちる」ということは間違っている fact11: もし仮に「とあるものは一党であるしさらにそれは御供する」ということは成り立たないとすると一党でない fact12: もしもとあるものは御付き合うとすれば「告訴権でないけれど労連だ」ということは嘘だ fact13: 「「ポップスだということはなくてしかも面倒臭い」ということは偽な」ものがあるとするとこの章末は攻撃者である fact14: この章末は舞い落ちる fact15: この章末が床しくてそれが攻撃者だとしたらこのアナフィラキシーショックは舞い落ちない fact16: 「「がっちりしないしさらに公演である」ということは偽である」物はある fact17: もしもこの章末が一党であるしおまけに床しいとすればその自閉っ子は面倒臭くない
fact4 -> int1: もしもその自閉っ子は一党だとすると「それはポップスでないけど面倒臭い」ということは嘘である; int1 & fact8 -> int2: 「その自閉っ子はポップスだということはないがしかし面倒臭い」ということは成り立たない; int2 -> int3: 「「ポップスでないけれど面倒臭い」ということは成り立つということはない」ものはある; int3 & fact13 -> int4: この章末は攻撃者である; void -> assump1: 以下のように仮定する。この章末は床しい; int4 & assump1 -> int5: この章末は床しくて更に攻撃者である; int5 & fact15 -> int6: このアナフィラキシーショックは舞い落ちない; int6 & fact7 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この章末は床しい
fact18 -> int8: もし「このアナフィラキシーショックは一党であるし加えてそれは御供する」ということは成り立たないならそれは一党でない;
$facts$ = fact1: もしもとある物は床しいとすると「それはポップスであるし攻撃者だ」ということは成り立たない fact2: 「あの電気動物は支え続ける」ということは正しい fact3: 仮に「面倒臭くない」物があるならこの章末は攻撃者である fact4: 何らかの物は一党であるとしたら「ポップスでなくてそれは面倒臭い」ということは成り立つということはない fact5: その自閉っ子は床しかない fact6: 「「ポップスであるしさらに面倒臭い」ということは成り立たない」ものはある fact7: このアナフィラキシーショックは舞い落ちる fact8: その自閉っ子は一党だ fact9: 「その自閉っ子はポップスだしその上床しい」ということは嘘だ fact10: 「その自閉っ子はポップスであるし加えてそれは舞い落ちる」ということは間違っている fact11: もし仮に「とあるものは一党であるしさらにそれは御供する」ということは成り立たないとすると一党でない fact12: もしもとあるものは御付き合うとすれば「告訴権でないけれど労連だ」ということは嘘だ fact13: 「「ポップスだということはなくてしかも面倒臭い」ということは偽な」ものがあるとするとこの章末は攻撃者である fact14: この章末は舞い落ちる fact15: この章末が床しくてそれが攻撃者だとしたらこのアナフィラキシーショックは舞い落ちない fact16: 「「がっちりしないしさらに公演である」ということは偽である」物はある fact17: もしもこの章末が一党であるしおまけに床しいとすればその自閉っ子は面倒臭くない ; $hypothesis$ = この章末は床しかない ; $proof$ = 
fact4 -> int1: もしもその自閉っ子は一党だとすると「それはポップスでないけど面倒臭い」ということは嘘である; int1 & fact8 -> int2: 「その自閉っ子はポップスだということはないがしかし面倒臭い」ということは成り立たない; int2 -> int3: 「「ポップスでないけれど面倒臭い」ということは成り立つということはない」ものはある; int3 & fact13 -> int4: この章末は攻撃者である; void -> assump1: 以下のように仮定する。この章末は床しい; int4 & assump1 -> int5: この章末は床しくて更に攻撃者である; int5 & fact15 -> int6: このアナフィラキシーショックは舞い落ちない; int6 & fact7 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもとある物は床しいとすると「それはポップスであるし攻撃者だ」ということは成り立たない
事実2: 「あの電気動物は支え続ける」ということは正しい
事実3: 仮に「面倒臭くない」物があるならこの章末は攻撃者である
事実4: 何らかの物は一党であるとしたら「ポップスでなくてそれは面倒臭い」ということは成り立つということはない
事実5: その自閉っ子は床しかない
事実6: 「「ポップスであるしさらに面倒臭い」ということは成り立たない」ものはある
事実7: このアナフィラキシーショックは舞い落ちる
事実8: その自閉っ子は一党だ
事実9: 「その自閉っ子はポップスだしその上床しい」ということは嘘だ
事実10: 「その自閉っ子はポップスであるし加えてそれは舞い落ちる」ということは間違っている
事実11: もし仮に「とあるものは一党であるしさらにそれは御供する」ということは成り立たないとすると一党でない
事実12: もしもとあるものは御付き合うとすれば「告訴権でないけれど労連だ」ということは嘘だ
事実13: 「「ポップスだということはなくてしかも面倒臭い」ということは偽な」ものがあるとするとこの章末は攻撃者である
事実14: この章末は舞い落ちる
事実15: この章末が床しくてそれが攻撃者だとしたらこのアナフィラキシーショックは舞い落ちない
事実16: 「「がっちりしないしさらに公演である」ということは偽である」物はある
事実17: もしもこの章末が一党であるしおまけに床しいとすればその自閉っ子は面倒臭くない

仮説: この章末は床しかない
1. 事実4から、推論1: "もしもその自閉っ子は一党だとすると「それはポップスでないけど面倒臭い」ということは嘘である"が導かれる
2. 推論1と事実8から、推論2: "「その自閉っ子はポップスだということはないがしかし面倒臭い」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「ポップスでないけれど面倒臭い」ということは成り立つということはない」ものはある"が導かれる
4. 推論3と事実13から、推論4: "この章末は攻撃者である"が導かれる
5. 仮定1: 以下のように仮定する。この章末は床しい
6. 推論4と仮定1から、推論5: "この章末は床しくて更に攻撃者である"が導かれる
7. 推論5と事実15から、推論6: "このアナフィラキシーショックは舞い落ちない"が導かれる
8. 推論6と事実7から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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