この継続的関係は従妹でない
fact1: この権力性が薬臭いとするとこの効果大は容易くない fact2: なんらかの物が隠れ住むとしたら検査時で反吐でない fact3: もしもなんらかのものは大反対するということはないとすると「薬臭いかあるいは会計操作だということはないかあるいは両方である」ということは成り立つ fact4: 容易くない物は隠れ住むし更に張れる fact5: 仮に「このセクションプロパティは愉悦であるか金貸しするかまたは両方ともだ」ということは成り立つということはないとすると冗談っぽくない fact6: もし仮に「この権力性は会計操作でない」ということは誤っていないとしたらこの効果大は容易いということはない fact7: あの電話連絡は冗談っぽいなら「この継続的関係は従妹である」ということは成り立つ fact8: この継続的関係は愉悦でない fact9: 仮にこのセクションプロパティは利用し始めるとしたら「愉悦でないかもしくは金貸しするかもしくは両方ともだ」ということは事実と異なる fact10: このセクションプロパティは愉悦だ fact11: この継続的関係は利用し始めない fact12: このセクションプロパティは利用し始める fact13: 検査時は反吐であるということはないならばそれは利用し始めない fact14: もし仮に「あるものは愉悦でないかまたは金貸しするかどちらもだ」ということは成り立たないとすれば冗談っぽくない fact15: 仮に「何かは愉悦であるか金貸しする」ということは偽であるならば「冗談っぽくない」ということは事実だ fact16: もしもこのセクションプロパティが冗談っぽくないならばこの継続的関係は従妹であるということはない fact17: この権力性は大反対しない
fact14 -> int1: 「もしも「このセクションプロパティは愉悦でないか金貸しする」ということは間違いならこのセクションプロパティは冗談っぽくない」ということは本当である; fact12 & fact9 -> int2: 「「このセクションプロパティは愉悦でないかあるいはそれは金貸しするかまたは両方ともだ」ということは誤っている」ということは真実だ; int1 & int2 -> int3: このセクションプロパティは冗談っぽくない; int3 & fact16 -> hypothesis;
「この継続的関係は従妹だ」ということは真実である
fact21 -> int4: この効果大が検査時だがそれは反吐でないとすると利用し始めない; fact19 -> int5: この効果大が隠れ住めば検査時だし反吐でない; fact20 -> int6: もし仮にこの効果大が容易くないとしたらそれは隠れ住むしまた張れる; fact25 -> int7: 仮にこの権力性が大反対しないとすれば薬臭いかそれは会計操作でない; int7 & fact24 -> int8: この権力性は薬臭いかまたは会計操作でないか両方ともだ; int8 & fact23 & fact22 -> int9: 「この効果大は容易いということはない」ということは成り立つ; int6 & int9 -> int10: この効果大は隠れ住むしそれに張れる; int10 -> int11: この効果大は隠れ住む; int5 & int11 -> int12: この効果大は検査時だけれど反吐でない; int4 & int12 -> int13: この効果大は利用し始めない; int13 -> int14: 「利用し始めない」物はある;
$facts$ = fact1: この権力性が薬臭いとするとこの効果大は容易くない fact2: なんらかの物が隠れ住むとしたら検査時で反吐でない fact3: もしもなんらかのものは大反対するということはないとすると「薬臭いかあるいは会計操作だということはないかあるいは両方である」ということは成り立つ fact4: 容易くない物は隠れ住むし更に張れる fact5: 仮に「このセクションプロパティは愉悦であるか金貸しするかまたは両方ともだ」ということは成り立つということはないとすると冗談っぽくない fact6: もし仮に「この権力性は会計操作でない」ということは誤っていないとしたらこの効果大は容易いということはない fact7: あの電話連絡は冗談っぽいなら「この継続的関係は従妹である」ということは成り立つ fact8: この継続的関係は愉悦でない fact9: 仮にこのセクションプロパティは利用し始めるとしたら「愉悦でないかもしくは金貸しするかもしくは両方ともだ」ということは事実と異なる fact10: このセクションプロパティは愉悦だ fact11: この継続的関係は利用し始めない fact12: このセクションプロパティは利用し始める fact13: 検査時は反吐であるということはないならばそれは利用し始めない fact14: もし仮に「あるものは愉悦でないかまたは金貸しするかどちらもだ」ということは成り立たないとすれば冗談っぽくない fact15: 仮に「何かは愉悦であるか金貸しする」ということは偽であるならば「冗談っぽくない」ということは事実だ fact16: もしもこのセクションプロパティが冗談っぽくないならばこの継続的関係は従妹であるということはない fact17: この権力性は大反対しない ; $hypothesis$ = この継続的関係は従妹でない ; $proof$ = 
fact14 -> int1: 「もしも「このセクションプロパティは愉悦でないか金貸しする」ということは間違いならこのセクションプロパティは冗談っぽくない」ということは本当である; fact12 & fact9 -> int2: 「「このセクションプロパティは愉悦でないかあるいはそれは金貸しするかまたは両方ともだ」ということは誤っている」ということは真実だ; int1 & int2 -> int3: このセクションプロパティは冗談っぽくない; int3 & fact16 -> hypothesis; __PROVED__
事実1: この権力性が薬臭いとするとこの効果大は容易くない
事実2: なんらかの物が隠れ住むとしたら検査時で反吐でない
事実3: もしもなんらかのものは大反対するということはないとすると「薬臭いかあるいは会計操作だということはないかあるいは両方である」ということは成り立つ
事実4: 容易くない物は隠れ住むし更に張れる
事実5: 仮に「このセクションプロパティは愉悦であるか金貸しするかまたは両方ともだ」ということは成り立つということはないとすると冗談っぽくない
事実6: もし仮に「この権力性は会計操作でない」ということは誤っていないとしたらこの効果大は容易いということはない
事実7: あの電話連絡は冗談っぽいなら「この継続的関係は従妹である」ということは成り立つ
事実8: この継続的関係は愉悦でない
事実9: 仮にこのセクションプロパティは利用し始めるとしたら「愉悦でないかもしくは金貸しするかもしくは両方ともだ」ということは事実と異なる
事実10: このセクションプロパティは愉悦だ
事実11: この継続的関係は利用し始めない
事実12: このセクションプロパティは利用し始める
事実13: 検査時は反吐であるということはないならばそれは利用し始めない
事実14: もし仮に「あるものは愉悦でないかまたは金貸しするかどちらもだ」ということは成り立たないとすれば冗談っぽくない
事実15: 仮に「何かは愉悦であるか金貸しする」ということは偽であるならば「冗談っぽくない」ということは事実だ
事実16: もしもこのセクションプロパティが冗談っぽくないならばこの継続的関係は従妹であるということはない
事実17: この権力性は大反対しない

仮説: この継続的関係は従妹でない
1. 事実14から、推論1: "「もしも「このセクションプロパティは愉悦でないか金貸しする」ということは間違いならこのセクションプロパティは冗談っぽくない」ということは本当である"が導かれる
2. 事実12と事実9から、推論2: "「「このセクションプロパティは愉悦でないかあるいはそれは金貸しするかまたは両方ともだ」ということは誤っている」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "このセクションプロパティは冗談っぽくない"が導かれる
4. 推論3と事実16から、仮説が導かれる

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