この見積もり値は厚いしさらに借り入れ人である
fact1: この見積もり値は借り入れ人である fact2: 「仲間らしい」ものはある fact3: 齎し易くない物は喜び勇むがしかし乾煎りしない fact4: もし「あるものは価格疲労であるしその上それは二術だ」ということは嘘ならばそれは物腰でない fact5: すべての物は齎し易いということはない fact6: もし「仲間らしい」物はあるとすると「その呂律は相続でない一方でリポートする」ということは成り立つということはない fact7: もしもその呂律が物腰であるということはなくて加えて少年鑑別所でないとしたらこのドリンクは借り入れ人だ fact8: この見積もり値が乾煎りしないならばあの呂律は見え辛くないしまたそれは少年鑑別所でない fact9: もし仮に「その呂律は相続でないがそれはリポートする」ということは成り立たないとしたらこの見積もり値は厚い fact10: もしもこのドリンクは相続でないとしたら「嘘っぽくないが仲間らしい」ということは事実でない fact11: 「何らかの物は厚くないかリポートする」ということは間違っているとすればそれは相続でない fact12: 「その呂律は価格疲労であるしそれは二術だ」ということは偽だ
fact2 & fact6 -> int1: 「その呂律は相続でないけれどそれはリポートする」ということは成り立たない; int1 & fact9 -> int2: この見積もり値は厚い; int2 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact9 -> int2: {D}{b}; int2 & fact1 -> hypothesis;
「このドリンクは嘘っぽくないけれど仲間らしい」ということは成り立たない
fact18 -> int3: この中攻隊が齎し易くないとしたらそれは喜び勇むけど乾煎りするということはない; fact16 -> int4: この中攻隊は齎し易くない; int3 & int4 -> int5: この中攻隊は喜び勇む一方で乾煎りしない; int5 -> int6: あらゆる物は喜び勇むし乾煎りしない; int6 -> int7: この水道局は喜び勇む一方で乾煎りしない; int7 -> int8: この水道局は乾煎りするということはない; int8 -> int9: あらゆるものは乾煎りしない; int9 -> int10: 「この見積もり値は乾煎りしない」ということは事実だ; int10 & fact15 -> int11: その呂律は見え辛いということはないし少年鑑別所でない; int11 -> int12: その呂律は少年鑑別所でない; fact17 -> int13: 「その呂律は価格疲労であるしその上二術だ」ということは誤りであるとしたらそれは物腰でない; int13 & fact19 -> int14: その呂律は物腰でない; int12 & int14 -> int15: その呂律は物腰でなくて少年鑑別所でない; fact20 & int15 -> int16: このドリンクは借り入れ人だ; fact14 -> int17: もし「このドリンクは厚くないかそれはリポートする」ということは誤りであるとすれば相続でない;
$facts$ = fact1: この見積もり値は借り入れ人である fact2: 「仲間らしい」ものはある fact3: 齎し易くない物は喜び勇むがしかし乾煎りしない fact4: もし「あるものは価格疲労であるしその上それは二術だ」ということは嘘ならばそれは物腰でない fact5: すべての物は齎し易いということはない fact6: もし「仲間らしい」物はあるとすると「その呂律は相続でない一方でリポートする」ということは成り立つということはない fact7: もしもその呂律が物腰であるということはなくて加えて少年鑑別所でないとしたらこのドリンクは借り入れ人だ fact8: この見積もり値が乾煎りしないならばあの呂律は見え辛くないしまたそれは少年鑑別所でない fact9: もし仮に「その呂律は相続でないがそれはリポートする」ということは成り立たないとしたらこの見積もり値は厚い fact10: もしもこのドリンクは相続でないとしたら「嘘っぽくないが仲間らしい」ということは事実でない fact11: 「何らかの物は厚くないかリポートする」ということは間違っているとすればそれは相続でない fact12: 「その呂律は価格疲労であるしそれは二術だ」ということは偽だ ; $hypothesis$ = この見積もり値は厚いしさらに借り入れ人である ; $proof$ = 
fact2 & fact6 -> int1: 「その呂律は相続でないけれどそれはリポートする」ということは成り立たない; int1 & fact9 -> int2: この見積もり値は厚い; int2 & fact1 -> hypothesis; __PROVED__
事実1: この見積もり値は借り入れ人である
事実2: 「仲間らしい」ものはある
事実3: 齎し易くない物は喜び勇むがしかし乾煎りしない
事実4: もし「あるものは価格疲労であるしその上それは二術だ」ということは嘘ならばそれは物腰でない
事実5: すべての物は齎し易いということはない
事実6: もし「仲間らしい」物はあるとすると「その呂律は相続でない一方でリポートする」ということは成り立つということはない
事実7: もしもその呂律が物腰であるということはなくて加えて少年鑑別所でないとしたらこのドリンクは借り入れ人だ
事実8: この見積もり値が乾煎りしないならばあの呂律は見え辛くないしまたそれは少年鑑別所でない
事実9: もし仮に「その呂律は相続でないがそれはリポートする」ということは成り立たないとしたらこの見積もり値は厚い
事実10: もしもこのドリンクは相続でないとしたら「嘘っぽくないが仲間らしい」ということは事実でない
事実11: 「何らかの物は厚くないかリポートする」ということは間違っているとすればそれは相続でない
事実12: 「その呂律は価格疲労であるしそれは二術だ」ということは偽だ

仮説: この見積もり値は厚いしさらに借り入れ人である
1. 事実2と事実6から、推論1: "「その呂律は相続でないけれどそれはリポートする」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "この見積もり値は厚い"が導かれる
3. 推論2と事実1から、仮説が導かれる

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