あの肺水腫はせがむし更に外物である
fact1: 「植える」ものはある fact2: そのスラッシュは世界大戦でない fact3: もしその汚濁が自己強化であるならばその三十二人は知り合いらしい fact4: その五十〜六十年代は手だということはない fact5: 「准尉であるしおまけに酸い」ものはある fact6: 仮に「「植える」物はある」ということは事実と異なるということはないとすれば「その五十〜六十年代は酸い」ということは事実だ fact7: 仮にその五十〜六十年代は植えないならば「その鹿島大尉は酸くないしそれは逃走するということはない」ということは誤っている fact8: もしなにがしかのものは植えないならば「せがむし外物だ」ということは成り立たない fact9: 「「燃やさないしおまけに外物であるということはない」ということは間違いな」ものはあるなら「あの肺水腫は外物である」ということは確かである fact10: あるものはＩＰアドレスであるということはない fact11: 「「せがまないがしかし酸い」ということは誤りである」物はある fact12: 「なにかは湿気易くなくてしかも女性センターでない」ということは事実だ fact13: 「「酸くないしかつせがまない」ということは事実でない」物はある fact14: もしもなにがしかの物は水晶体前面でないならば酸いか逃走するかもしくは両方ともだ fact15: 「「燃やさないしおまけに外物でない」ということは確かでない」ものはある fact16: 「その門中集団は同期しないけど踏み開く」ということは成り立たない fact17: もしも「逃走する」物があるとしたらその五十〜六十年代はせがむ fact18: その五十〜六十年代が酸いししかも逃走すればこの開発期間は水晶体前面でない fact19: その三十二人は手でないが准尉である fact20: 「「せがむし酸くない」ということは間違っている」物はある fact21: もしも何かは黄色いとしたらその汚濁は自己強化でその上行われ易い fact22: 「「水晶体前面であるかせがむか両方ともだ」ということは嘘である」物があるとすればその五十〜六十年代は植えない fact23: もしも「手でないしおまけに准尉な」物があるならばあの開発期間は水晶体前面である fact24: 「この開発期間は燃やさないしかつ手でない」ということは本当でないとすればその五十〜六十年代は水晶体前面でない fact25: もしもあるものが同期すれば黄色い fact26: 仮にとある物が逃走しないとするとあの肺水腫はせがむ fact27: もし「「同期しないしさらに踏み開く」ということは成り立たない」ものはあるとしたら「そのシアンは同期する」ということは事実である fact28: もしもその三十二人が知り合いらしいとするとこの開発期間は准尉だ
fact1 & fact6 -> int1: その五十〜六十年代は酸い; void -> assump1: 以下のように仮定する。その五十〜六十年代は逃走する; int1 & assump1 -> int2: その五十〜六十年代は酸いしそれにそれは逃走する; int2 & fact18 -> int3: この開発期間は水晶体前面でない; fact19 -> int4: 「手でないがしかし准尉な」物はある; fact23 & int4 -> int5: この開発期間は水晶体前面だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その五十〜六十年代は逃走しない; int7 -> int8: 「逃走しない」ものはある; int8 & fact26 -> int9: あの肺水腫はせがむ; fact15 & fact9 -> int10: あの肺水腫は外物だ; int9 & int10 -> hypothesis;
その鹿島大尉は逃走する
$facts$ = fact1: 「植える」ものはある fact2: そのスラッシュは世界大戦でない fact3: もしその汚濁が自己強化であるならばその三十二人は知り合いらしい fact4: その五十〜六十年代は手だということはない fact5: 「准尉であるしおまけに酸い」ものはある fact6: 仮に「「植える」物はある」ということは事実と異なるということはないとすれば「その五十〜六十年代は酸い」ということは事実だ fact7: 仮にその五十〜六十年代は植えないならば「その鹿島大尉は酸くないしそれは逃走するということはない」ということは誤っている fact8: もしなにがしかのものは植えないならば「せがむし外物だ」ということは成り立たない fact9: 「「燃やさないしおまけに外物であるということはない」ということは間違いな」ものはあるなら「あの肺水腫は外物である」ということは確かである fact10: あるものはＩＰアドレスであるということはない fact11: 「「せがまないがしかし酸い」ということは誤りである」物はある fact12: 「なにかは湿気易くなくてしかも女性センターでない」ということは事実だ fact13: 「「酸くないしかつせがまない」ということは事実でない」物はある fact14: もしもなにがしかの物は水晶体前面でないならば酸いか逃走するかもしくは両方ともだ fact15: 「「燃やさないしおまけに外物でない」ということは確かでない」ものはある fact16: 「その門中集団は同期しないけど踏み開く」ということは成り立たない fact17: もしも「逃走する」物があるとしたらその五十〜六十年代はせがむ fact18: その五十〜六十年代が酸いししかも逃走すればこの開発期間は水晶体前面でない fact19: その三十二人は手でないが准尉である fact20: 「「せがむし酸くない」ということは間違っている」物はある fact21: もしも何かは黄色いとしたらその汚濁は自己強化でその上行われ易い fact22: 「「水晶体前面であるかせがむか両方ともだ」ということは嘘である」物があるとすればその五十〜六十年代は植えない fact23: もしも「手でないしおまけに准尉な」物があるならばあの開発期間は水晶体前面である fact24: 「この開発期間は燃やさないしかつ手でない」ということは本当でないとすればその五十〜六十年代は水晶体前面でない fact25: もしもあるものが同期すれば黄色い fact26: 仮にとある物が逃走しないとするとあの肺水腫はせがむ fact27: もし「「同期しないしさらに踏み開く」ということは成り立たない」ものはあるとしたら「そのシアンは同期する」ということは事実である fact28: もしもその三十二人が知り合いらしいとするとこの開発期間は准尉だ ; $hypothesis$ = あの肺水腫はせがむし更に外物である ; $proof$ = 
fact1 & fact6 -> int1: その五十〜六十年代は酸い; void -> assump1: 以下のように仮定する。その五十〜六十年代は逃走する; int1 & assump1 -> int2: その五十〜六十年代は酸いしそれにそれは逃走する; int2 & fact18 -> int3: この開発期間は水晶体前面でない; fact19 -> int4: 「手でないがしかし准尉な」物はある; fact23 & int4 -> int5: この開発期間は水晶体前面だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その五十〜六十年代は逃走しない; int7 -> int8: 「逃走しない」ものはある; int8 & fact26 -> int9: あの肺水腫はせがむ; fact15 & fact9 -> int10: あの肺水腫は外物だ; int9 & int10 -> hypothesis; __PROVED__
事実1: 「植える」ものはある
事実2: そのスラッシュは世界大戦でない
事実3: もしその汚濁が自己強化であるならばその三十二人は知り合いらしい
事実4: その五十〜六十年代は手だということはない
事実5: 「准尉であるしおまけに酸い」ものはある
事実6: 仮に「「植える」物はある」ということは事実と異なるということはないとすれば「その五十〜六十年代は酸い」ということは事実だ
事実7: 仮にその五十〜六十年代は植えないならば「その鹿島大尉は酸くないしそれは逃走するということはない」ということは誤っている
事実8: もしなにがしかのものは植えないならば「せがむし外物だ」ということは成り立たない
事実9: 「「燃やさないしおまけに外物であるということはない」ということは間違いな」ものはあるなら「あの肺水腫は外物である」ということは確かである
事実10: あるものはＩＰアドレスであるということはない
事実11: 「「せがまないがしかし酸い」ということは誤りである」物はある
事実12: 「なにかは湿気易くなくてしかも女性センターでない」ということは事実だ
事実13: 「「酸くないしかつせがまない」ということは事実でない」物はある
事実14: もしもなにがしかの物は水晶体前面でないならば酸いか逃走するかもしくは両方ともだ
事実15: 「「燃やさないしおまけに外物でない」ということは確かでない」ものはある
事実16: 「その門中集団は同期しないけど踏み開く」ということは成り立たない
事実17: もしも「逃走する」物があるとしたらその五十〜六十年代はせがむ
事実18: その五十〜六十年代が酸いししかも逃走すればこの開発期間は水晶体前面でない
事実19: その三十二人は手でないが准尉である
事実20: 「「せがむし酸くない」ということは間違っている」物はある
事実21: もしも何かは黄色いとしたらその汚濁は自己強化でその上行われ易い
事実22: 「「水晶体前面であるかせがむか両方ともだ」ということは嘘である」物があるとすればその五十〜六十年代は植えない
事実23: もしも「手でないしおまけに准尉な」物があるならばあの開発期間は水晶体前面である
事実24: 「この開発期間は燃やさないしかつ手でない」ということは本当でないとすればその五十〜六十年代は水晶体前面でない
事実25: もしもあるものが同期すれば黄色い
事実26: 仮にとある物が逃走しないとするとあの肺水腫はせがむ
事実27: もし「「同期しないしさらに踏み開く」ということは成り立たない」ものはあるとしたら「そのシアンは同期する」ということは事実である
事実28: もしもその三十二人が知り合いらしいとするとこの開発期間は准尉だ

仮説: あの肺水腫はせがむし更に外物である
1. 事実1と事実6から、推論1: "その五十〜六十年代は酸い"が導かれる
2. 仮定1: 以下のように仮定する。その五十〜六十年代は逃走する
3. 推論1と仮定1から、推論2: "その五十〜六十年代は酸いしそれにそれは逃走する"が導かれる
4. 推論2と事実18から、推論3: "この開発期間は水晶体前面でない"が導かれる
5. 事実19から、推論4: "「手でないがしかし准尉な」物はある"が導かれる
6. 事実23と推論4から、推論5: "この開発期間は水晶体前面だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その五十〜六十年代は逃走しない"が導かれる
9. 推論7から、推論8: "「逃走しない」ものはある"が導かれる
10. 推論8と事実26から、推論9: "あの肺水腫はせがむ"が導かれる
11. 事実15と事実9から、推論10: "あの肺水腫は外物だ"が導かれる
12. 推論9と推論10から、仮説が導かれる

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