この特養は競う
fact1: もし何かは根気強いならば「冒険心だけど下ろし易くない」ということは誤りである fact2: 「この蒙古襲来は虐殺するし冒険心だ」ということは成り立たない fact3: その福岡市郊外は発注者でない fact4: もしあるものは四年分修正申告であるなら「設立出来るけれど橿日宮でない」ということは間違いである fact5: あの強行的・直律的効力が競わないならこの特養は競うしそれに現人神だ fact6: もし「この蒙古襲来は設立出来るけどそれは橿日宮でない」ということは嘘ならその福岡市郊外は橿日宮でない fact7: 仮に「設立出来るし四年分修正申告な」物があるならあの強行的・直律的効力は競わない fact8: 「この蒙古襲来は虐殺するけど冒険心でない」ということは本当でない fact9: 「あの強行的・直律的効力は現人神だ」ということは成り立つ fact10: 「もしもそのルフォールが橿日宮であるということはないとしたらあの独立自尊は根気強いということはないけれど設立出来る」ということは事実だ fact11: 仮にとあるものが橿日宮でないとすればそれは根気強い fact12: 「「この蒙古襲来は虐殺するけど冒険心だということはない」ということは確かだ」ということは真実であるということはないとしたら「そのルフォールは橿日宮でない」ということは事実だ fact13: もし仮にその福岡市郊外が発注者でないとすればあの独立自尊は四年分修正申告であるししかもそれは収容施設である
fact12 & fact8 -> int1: そのルフォールは橿日宮でない; int1 & fact10 -> int2: あの独立自尊は根気強くないけど設立出来る; int2 -> int3: あの独立自尊は設立出来る; fact13 & fact3 -> int4: あの独立自尊は四年分修正申告であるし収容施設である; int4 -> int5: あの独立自尊は四年分修正申告である; int3 & int5 -> int6: あの独立自尊は設立出来るしかつ四年分修正申告だ; int6 -> int7: 「なんらかのものは設立出来るししかも四年分修正申告である」ということは成り立つ; int7 & fact7 -> int8: あの強行的・直律的効力は競わない; int8 & fact5 -> int9: この特養は競うしそれに現人神である; int9 -> hypothesis;
「その福岡市郊外は冒険心だ一方で下ろし易くない」ということは偽だ
fact16 -> int10: もしその福岡市郊外は根気強いなら「それは冒険心だ一方で下ろし易いということはない」ということは誤っている; fact14 -> int11: もし仮にその福岡市郊外は橿日宮でないとすれば「根気強い」ということは正しい; fact17 -> int12: もしそのルフォールは四年分修正申告であるなら「それは設立出来るしそれは橿日宮であるということはない」ということは成り立たない;
$facts$ = fact1: もし何かは根気強いならば「冒険心だけど下ろし易くない」ということは誤りである fact2: 「この蒙古襲来は虐殺するし冒険心だ」ということは成り立たない fact3: その福岡市郊外は発注者でない fact4: もしあるものは四年分修正申告であるなら「設立出来るけれど橿日宮でない」ということは間違いである fact5: あの強行的・直律的効力が競わないならこの特養は競うしそれに現人神だ fact6: もし「この蒙古襲来は設立出来るけどそれは橿日宮でない」ということは嘘ならその福岡市郊外は橿日宮でない fact7: 仮に「設立出来るし四年分修正申告な」物があるならあの強行的・直律的効力は競わない fact8: 「この蒙古襲来は虐殺するけど冒険心でない」ということは本当でない fact9: 「あの強行的・直律的効力は現人神だ」ということは成り立つ fact10: 「もしもそのルフォールが橿日宮であるということはないとしたらあの独立自尊は根気強いということはないけれど設立出来る」ということは事実だ fact11: 仮にとあるものが橿日宮でないとすればそれは根気強い fact12: 「「この蒙古襲来は虐殺するけど冒険心だということはない」ということは確かだ」ということは真実であるということはないとしたら「そのルフォールは橿日宮でない」ということは事実だ fact13: もし仮にその福岡市郊外が発注者でないとすればあの独立自尊は四年分修正申告であるししかもそれは収容施設である ; $hypothesis$ = この特養は競う ; $proof$ = 
fact12 & fact8 -> int1: そのルフォールは橿日宮でない; int1 & fact10 -> int2: あの独立自尊は根気強くないけど設立出来る; int2 -> int3: あの独立自尊は設立出来る; fact13 & fact3 -> int4: あの独立自尊は四年分修正申告であるし収容施設である; int4 -> int5: あの独立自尊は四年分修正申告である; int3 & int5 -> int6: あの独立自尊は設立出来るしかつ四年分修正申告だ; int6 -> int7: 「なんらかのものは設立出来るししかも四年分修正申告である」ということは成り立つ; int7 & fact7 -> int8: あの強行的・直律的効力は競わない; int8 & fact5 -> int9: この特養は競うしそれに現人神である; int9 -> hypothesis; __PROVED__
事実1: もし何かは根気強いならば「冒険心だけど下ろし易くない」ということは誤りである
事実2: 「この蒙古襲来は虐殺するし冒険心だ」ということは成り立たない
事実3: その福岡市郊外は発注者でない
事実4: もしあるものは四年分修正申告であるなら「設立出来るけれど橿日宮でない」ということは間違いである
事実5: あの強行的・直律的効力が競わないならこの特養は競うしそれに現人神だ
事実6: もし「この蒙古襲来は設立出来るけどそれは橿日宮でない」ということは嘘ならその福岡市郊外は橿日宮でない
事実7: 仮に「設立出来るし四年分修正申告な」物があるならあの強行的・直律的効力は競わない
事実8: 「この蒙古襲来は虐殺するけど冒険心でない」ということは本当でない
事実9: 「あの強行的・直律的効力は現人神だ」ということは成り立つ
事実10: 「もしもそのルフォールが橿日宮であるということはないとしたらあの独立自尊は根気強いということはないけれど設立出来る」ということは事実だ
事実11: 仮にとあるものが橿日宮でないとすればそれは根気強い
事実12: 「「この蒙古襲来は虐殺するけど冒険心だということはない」ということは確かだ」ということは真実であるということはないとしたら「そのルフォールは橿日宮でない」ということは事実だ
事実13: もし仮にその福岡市郊外が発注者でないとすればあの独立自尊は四年分修正申告であるししかもそれは収容施設である

仮説: この特養は競う
1. 事実12と事実8から、推論1: "そのルフォールは橿日宮でない"が導かれる
2. 推論1と事実10から、推論2: "あの独立自尊は根気強くないけど設立出来る"が導かれる
3. 推論2から、推論3: "あの独立自尊は設立出来る"が導かれる
4. 事実13と事実3から、推論4: "あの独立自尊は四年分修正申告であるし収容施設である"が導かれる
5. 推論4から、推論5: "あの独立自尊は四年分修正申告である"が導かれる
6. 推論3と推論5から、推論6: "あの独立自尊は設立出来るしかつ四年分修正申告だ"が導かれる
7. 推論6から、推論7: "「なんらかのものは設立出来るししかも四年分修正申告である」ということは成り立つ"が導かれる
8. 推論7と事実7から、推論8: "あの強行的・直律的効力は競わない"が導かれる
9. 推論8と事実5から、推論9: "この特養は競うしそれに現人神である"が導かれる
10. 推論9から、仮説が導かれる

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