なにがしかの物は御試し下さるかあるいは伝わり易いかあるいはどちらもだ
fact1: もしも何らかの物が御試し下さるということはないならばそれはドイツ国家であるかまたはだぶつく fact2: もし仮にこの漁船が阻害剤でなくて容易くないとすると「「この新生児科医は容易い」ということは確かだ」ということは誤りである fact3: もしもこの新生児科医は容易くないとすると「養護学校であるということはないけど憎たらしい」ということは本当であるということはない fact4: もし仮にあの合皮が吸収し易くないとすればこの漁船は阻害剤でないしさらにそれは容易くない fact5: その栄養剤は張り札であるかまたはブラッシングするかまたは両方ともだ fact6: 「その栄養剤は思い易い」ということは成り立つ fact7: その女道路はストレッチでない fact8: 何らかの物はストレッチだということはないとすると「宣するしそれに鎌倉中でない」ということは成り立たない fact9: もし仮にその栄養剤が御試し下さるし伝わり易いとするとあのメーカーさんは御試し下さるということはない fact10: 「見付け難いかあるいは託つ」ものはある fact11: もし「なにかは養護学校でないがそれは憎たらしい」ということは成り立たないなら豪華本でない fact12: その栄養剤は御試し下さる fact13: もし仮に「「宣するし鎌倉中でない」ということは間違っている」ものがあるとするとあの合皮は吸収し易いということはない fact14: 「ごっついかまたはピンはねする」ものはある fact15: なにがしかの物は拘束的時間でないならば御試し下さるし加えて伝わり易い fact16: もしもとある物が豪華本でないとするとあの第三十八章は要検討であるがしかしそれは陥り易いということはない
fact12 -> int1: その栄養剤は御試し下さるかもしくは伝わり易いかもしくはどちらもである; int1 -> hypothesis;
あのメーカーさんはドイツ国家であるかあるいはだぶつく
fact21 -> int2: もし仮にあのメーカーさんが御試し下さらないとすればそれはドイツ国家であるかまたはだぶつくかあるいは両方ともだ; fact20 -> int3: もし仮にその栄養剤が拘束的時間でないならそれは御試し下さるし加えて伝わり易い; fact25 -> int4: もし「「この新生児科医は養護学校であるということはない一方で憎たらしい」ということは事実である」ということは嘘であるならばそれは豪華本でない; fact17 -> int5: もし「その女道路はストレッチでない」ということは成り立てば「それは宣するしそれは鎌倉中でない」ということは間違いだ; int5 & fact18 -> int6: 「その女道路は宣する一方でそれは鎌倉中でない」ということは成り立たない; int6 -> int7: 「「宣するし加えて鎌倉中であるということはない」ということは本当でない」ものはある; int7 & fact22 -> int8: あの合皮は吸収し易いということはない; fact26 & int8 -> int9: この漁船は阻害剤でなくて更に容易くない; fact27 & int9 -> int10: この新生児科医は容易くない; fact19 & int10 -> int11: 「「この新生児科医は養護学校だということはないが憎たらしい」ということは成り立つ」ということは嘘である; int4 & int11 -> int12: この新生児科医は豪華本でない; int12 -> int13: 「豪華本でない」ものはある; int13 & fact23 -> int14: あの第三十八章は要検討だがしかしそれは陥り易いということはない; int14 -> int15: とある物は要検討だが陥り易くない;
$facts$ = fact1: もしも何らかの物が御試し下さるということはないならばそれはドイツ国家であるかまたはだぶつく fact2: もし仮にこの漁船が阻害剤でなくて容易くないとすると「「この新生児科医は容易い」ということは確かだ」ということは誤りである fact3: もしもこの新生児科医は容易くないとすると「養護学校であるということはないけど憎たらしい」ということは本当であるということはない fact4: もし仮にあの合皮が吸収し易くないとすればこの漁船は阻害剤でないしさらにそれは容易くない fact5: その栄養剤は張り札であるかまたはブラッシングするかまたは両方ともだ fact6: 「その栄養剤は思い易い」ということは成り立つ fact7: その女道路はストレッチでない fact8: 何らかの物はストレッチだということはないとすると「宣するしそれに鎌倉中でない」ということは成り立たない fact9: もし仮にその栄養剤が御試し下さるし伝わり易いとするとあのメーカーさんは御試し下さるということはない fact10: 「見付け難いかあるいは託つ」ものはある fact11: もし「なにかは養護学校でないがそれは憎たらしい」ということは成り立たないなら豪華本でない fact12: その栄養剤は御試し下さる fact13: もし仮に「「宣するし鎌倉中でない」ということは間違っている」ものがあるとするとあの合皮は吸収し易いということはない fact14: 「ごっついかまたはピンはねする」ものはある fact15: なにがしかの物は拘束的時間でないならば御試し下さるし加えて伝わり易い fact16: もしもとある物が豪華本でないとするとあの第三十八章は要検討であるがしかしそれは陥り易いということはない ; $hypothesis$ = なにがしかの物は御試し下さるかあるいは伝わり易いかあるいはどちらもだ ; $proof$ = 
fact12 -> int1: その栄養剤は御試し下さるかもしくは伝わり易いかもしくはどちらもである; int1 -> hypothesis; __PROVED__
事実1: もしも何らかの物が御試し下さるということはないならばそれはドイツ国家であるかまたはだぶつく
事実2: もし仮にこの漁船が阻害剤でなくて容易くないとすると「「この新生児科医は容易い」ということは確かだ」ということは誤りである
事実3: もしもこの新生児科医は容易くないとすると「養護学校であるということはないけど憎たらしい」ということは本当であるということはない
事実4: もし仮にあの合皮が吸収し易くないとすればこの漁船は阻害剤でないしさらにそれは容易くない
事実5: その栄養剤は張り札であるかまたはブラッシングするかまたは両方ともだ
事実6: 「その栄養剤は思い易い」ということは成り立つ
事実7: その女道路はストレッチでない
事実8: 何らかの物はストレッチだということはないとすると「宣するしそれに鎌倉中でない」ということは成り立たない
事実9: もし仮にその栄養剤が御試し下さるし伝わり易いとするとあのメーカーさんは御試し下さるということはない
事実10: 「見付け難いかあるいは託つ」ものはある
事実11: もし「なにかは養護学校でないがそれは憎たらしい」ということは成り立たないなら豪華本でない
事実12: その栄養剤は御試し下さる
事実13: もし仮に「「宣するし鎌倉中でない」ということは間違っている」ものがあるとするとあの合皮は吸収し易いということはない
事実14: 「ごっついかまたはピンはねする」ものはある
事実15: なにがしかの物は拘束的時間でないならば御試し下さるし加えて伝わり易い
事実16: もしもとある物が豪華本でないとするとあの第三十八章は要検討であるがしかしそれは陥り易いということはない

仮説: なにがしかの物は御試し下さるかあるいは伝わり易いかあるいはどちらもだ
1. 事実12から、推論1: "その栄養剤は御試し下さるかもしくは伝わり易いかもしくはどちらもである"が導かれる
2. 推論1から、仮説が導かれる

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