この薬草園は無理無いということはない
fact1: 「この関係データベースは太り易いがしかしそれは漏れ易くない」ということは誤りだ fact2: 仮にあの六箇月分が口腔細菌でないけれどＡＰＩだとしたらこの薬草園は無理無い fact3: 「その翼状針は漏れ易い」ということは事実だとするとこの薬草園は試験器だ fact4: 仮にこの薬草園は御祭りするし試験器ならばそれは無理無いということはない fact5: この関係データベースは使い捨てだ fact6: もしも「あの六箇月分は使い捨てであるが口腔細菌でない」ということは成り立たないとするとあの幼児前期は口腔細菌である fact7: この関係データベースは交際しないけど太り易い fact8: もし仮に「あの幼児前期は人懐っこい」ということは真実ならば使い捨てでないけど目的無し fact9: なにがしかのものが交際しないとするとそれは口腔細菌でないけどＡＰＩだ fact10: もしその個人的見解は交際するとしたら「この薬草園は御祭りする」ということは成り立つ fact11: もし「ＡＰＩでない」物があるならあの六箇月分は口腔細菌である fact12: あの幼児前期は人懐っこい fact13: この薬草園は人懐っこい fact14: もしもとあるものが使い捨てでないけど目的無しならそれはＡＰＩだということはない fact15: もしも「この関係データベースは太り易い一方で漏れ易くない」ということは誤っているならその翼状針は漏れ易い fact16: もしもこの薬草園は御祭りしないがしかし漏れ易いなら「それは無理無いということはない」ということは本当だ fact17: 「その個人的見解は漏れ易い一方で収監しない」ということは成り立たない fact18: 「公定平価である」ものはある fact19: もしあの六箇月分が口腔細菌だとすればその個人的見解は交際する
fact14 -> int1: もしもあの幼児前期が使い捨てでないけど目的無しとすると「それはＡＰＩでない」ということは事実である; fact8 & fact12 -> int2: あの幼児前期は使い捨てでないが目的無し; int1 & int2 -> int3: あの幼児前期はＡＰＩでない; int3 -> int4: 「ＡＰＩでない」ものはある; int4 & fact11 -> int5: あの六箇月分は口腔細菌である; int5 & fact19 -> int6: その個人的見解は交際する; int6 & fact10 -> int7: この薬草園は御祭りする; fact15 & fact1 -> int8: その翼状針は漏れ易い; fact3 & int8 -> int9: この薬草園は試験器である; int7 & int9 -> int10: この薬草園は御祭りするしそれは試験器である; int10 & fact4 -> hypothesis;
この薬草園は無理無い
fact20 -> int11: 仮に「あの六箇月分は交際する」ということは事実と異なれば口腔細菌でないがＡＰＩだ;
$facts$ = fact1: 「この関係データベースは太り易いがしかしそれは漏れ易くない」ということは誤りだ fact2: 仮にあの六箇月分が口腔細菌でないけれどＡＰＩだとしたらこの薬草園は無理無い fact3: 「その翼状針は漏れ易い」ということは事実だとするとこの薬草園は試験器だ fact4: 仮にこの薬草園は御祭りするし試験器ならばそれは無理無いということはない fact5: この関係データベースは使い捨てだ fact6: もしも「あの六箇月分は使い捨てであるが口腔細菌でない」ということは成り立たないとするとあの幼児前期は口腔細菌である fact7: この関係データベースは交際しないけど太り易い fact8: もし仮に「あの幼児前期は人懐っこい」ということは真実ならば使い捨てでないけど目的無し fact9: なにがしかのものが交際しないとするとそれは口腔細菌でないけどＡＰＩだ fact10: もしその個人的見解は交際するとしたら「この薬草園は御祭りする」ということは成り立つ fact11: もし「ＡＰＩでない」物があるならあの六箇月分は口腔細菌である fact12: あの幼児前期は人懐っこい fact13: この薬草園は人懐っこい fact14: もしもとあるものが使い捨てでないけど目的無しならそれはＡＰＩだということはない fact15: もしも「この関係データベースは太り易い一方で漏れ易くない」ということは誤っているならその翼状針は漏れ易い fact16: もしもこの薬草園は御祭りしないがしかし漏れ易いなら「それは無理無いということはない」ということは本当だ fact17: 「その個人的見解は漏れ易い一方で収監しない」ということは成り立たない fact18: 「公定平価である」ものはある fact19: もしあの六箇月分が口腔細菌だとすればその個人的見解は交際する ; $hypothesis$ = この薬草園は無理無いということはない ; $proof$ = 
fact14 -> int1: もしもあの幼児前期が使い捨てでないけど目的無しとすると「それはＡＰＩでない」ということは事実である; fact8 & fact12 -> int2: あの幼児前期は使い捨てでないが目的無し; int1 & int2 -> int3: あの幼児前期はＡＰＩでない; int3 -> int4: 「ＡＰＩでない」ものはある; int4 & fact11 -> int5: あの六箇月分は口腔細菌である; int5 & fact19 -> int6: その個人的見解は交際する; int6 & fact10 -> int7: この薬草園は御祭りする; fact15 & fact1 -> int8: その翼状針は漏れ易い; fact3 & int8 -> int9: この薬草園は試験器である; int7 & int9 -> int10: この薬草園は御祭りするしそれは試験器である; int10 & fact4 -> hypothesis; __PROVED__
事実1: 「この関係データベースは太り易いがしかしそれは漏れ易くない」ということは誤りだ
事実2: 仮にあの六箇月分が口腔細菌でないけれどＡＰＩだとしたらこの薬草園は無理無い
事実3: 「その翼状針は漏れ易い」ということは事実だとするとこの薬草園は試験器だ
事実4: 仮にこの薬草園は御祭りするし試験器ならばそれは無理無いということはない
事実5: この関係データベースは使い捨てだ
事実6: もしも「あの六箇月分は使い捨てであるが口腔細菌でない」ということは成り立たないとするとあの幼児前期は口腔細菌である
事実7: この関係データベースは交際しないけど太り易い
事実8: もし仮に「あの幼児前期は人懐っこい」ということは真実ならば使い捨てでないけど目的無し
事実9: なにがしかのものが交際しないとするとそれは口腔細菌でないけどＡＰＩだ
事実10: もしその個人的見解は交際するとしたら「この薬草園は御祭りする」ということは成り立つ
事実11: もし「ＡＰＩでない」物があるならあの六箇月分は口腔細菌である
事実12: あの幼児前期は人懐っこい
事実13: この薬草園は人懐っこい
事実14: もしもとあるものが使い捨てでないけど目的無しならそれはＡＰＩだということはない
事実15: もしも「この関係データベースは太り易い一方で漏れ易くない」ということは誤っているならその翼状針は漏れ易い
事実16: もしもこの薬草園は御祭りしないがしかし漏れ易いなら「それは無理無いということはない」ということは本当だ
事実17: 「その個人的見解は漏れ易い一方で収監しない」ということは成り立たない
事実18: 「公定平価である」ものはある
事実19: もしあの六箇月分が口腔細菌だとすればその個人的見解は交際する

仮説: この薬草園は無理無いということはない
1. 事実14から、推論1: "もしもあの幼児前期が使い捨てでないけど目的無しとすると「それはＡＰＩでない」ということは事実である"が導かれる
2. 事実8と事実12から、推論2: "あの幼児前期は使い捨てでないが目的無し"が導かれる
3. 推論1と推論2から、推論3: "あの幼児前期はＡＰＩでない"が導かれる
4. 推論3から、推論4: "「ＡＰＩでない」ものはある"が導かれる
5. 推論4と事実11から、推論5: "あの六箇月分は口腔細菌である"が導かれる
6. 推論5と事実19から、推論6: "その個人的見解は交際する"が導かれる
7. 推論6と事実10から、推論7: "この薬草園は御祭りする"が導かれる
8. 事実15と事実1から、推論8: "その翼状針は漏れ易い"が導かれる
9. 事実3と推論8から、推論9: "この薬草園は試験器である"が導かれる
10. 推論7と推論9から、推論10: "この薬草園は御祭りするしそれは試験器である"が導かれる
11. 推論10と事実4から、仮説が導かれる

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