「その肉襞は詐称するが格闘スタイルでない」ということは偽である
fact1: この棘が離れ難くないしその上それがどうしても欲しくないならばその楽人は離れ難くない fact2: 仮に何らかのものは分画するなら「硬直化しないしまた避妊経験率だ」ということは嘘である fact3: 何かは代位でないとしたら分画するしそれは過不足無い fact4: もしも何らかのものは清々するということはないとしたら「Ｓ状結腸であるかあるいはプリントラインであるかあるいは両方ともだ」ということは間違いである fact5: その楽人は離れ難くないとすると「あの会社・部門は治癒後であるししかもそれはＤＩＷだ」ということは偽だ fact6: 「あの会社・部門はプリントラインでない」ということは本当だ fact7: もし仮に「あの会社・部門はＳ状結腸であるかもしくはプリントラインである」ということは誤りであるとしたらその肉襞はプリントラインでない fact8: もしも「ある物は治癒後であるしＤＩＷだ」ということは間違いであるならば「清々するということはない」ということは成り立つ fact9: 「その楽人は懐かし物でプリントラインだ」ということは成り立たない fact10: 仮に「何らかのものは重たくて更に懐かし」ということは間違いであるならそれは詐称するということはない fact11: もしもその楽人が懐かしということはないならそれは詐称するということはない fact12: 何らかのものはプリントラインでないとするとそれは詐称するけれど格闘スタイルでない fact13: もしもこのＳＲ同位体比が麗々しくないとしたらこの棘が喜ばしいしその上二倍する fact14: 懐かしないものは詐称しない fact15: あの飛行隊は重たくない fact16: もしもその縁起物は規定書でないなら「この棘はどうしても欲しくない」ということは成り立つ fact17: 仮にこのＳＲ同位体比は最大離陸重量でなくて加えて中止すらないとするとそれは代位でない fact18: 仮にその楽人は詐称するということはないとすると「その肉襞は詐称するしおまけに格闘スタイルである」ということは成り立たない fact19: このＳＲ同位体比は最大離陸重量でないし中止すらない fact20: あの会社・部門はプリントラインでないならば「「その楽人は重たいし懐かし」ということは本当だ」ということは偽だ fact21: 「ある物は硬直化しないがしかし避妊経験率だ」ということは成り立たないならば麗々しいということはない fact22: 「その楽人は詐称しない」ということは間違いでないとしたら「その肉襞は詐称するけど格闘スタイルでない」ということは誤りだ fact23: 仮に喜ばしい物が二倍するとするとそれは離れ難いということはない
fact20 & fact6 -> int1: 「その楽人は重たいし加えて懐かし」ということは成り立たない; fact10 -> int2: 「その楽人は重たいししかも懐かし」ということは成り立たないならば詐称しない; int1 & int2 -> int3: その楽人は詐称するということはない; int3 & fact22 -> hypothesis;
fact20 & fact6 -> int1: ¬({AA}{b} & {AB}{b}); fact10 -> int2: ¬({AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; int3 & fact22 -> hypothesis;
その肉襞は詐称する一方でそれは格闘スタイルでない
fact29 -> int4: その肉襞はプリントラインでないなら詐称するけれど格闘スタイルだということはない; fact37 -> int5: もしもあの会社・部門は清々しないとすれば「それはＳ状結腸であるかもしくはそれはプリントラインであるかまたは両方だ」ということは間違いである; fact28 -> int6: 「あの会社・部門は治癒後でＤＩＷである」ということは偽であるとすればそれは清々しない; fact35 -> int7: もし仮に「この棘は喜ばしいしその上二倍する」ということは事実であるとしたらそれは離れ難くない; fact31 -> int8: 「このＳＲ同位体比は硬直化しないけどそれは避妊経験率である」ということは誤りであるとするとそれは麗々しくない; fact25 -> int9: 仮にこのＳＲ同位体比は分画するとすると「硬直化しなくて加えて避妊経験率である」ということは本当でない; fact33 -> int10: このＳＲ同位体比が代位でないなら分画するしかつそれは過不足無い; fact36 & fact34 -> int11: このＳＲ同位体比は代位でない; int10 & int11 -> int12: このＳＲ同位体比は分画するしそれは過不足無い; int12 -> int13: このＳＲ同位体比は分画する; int9 & int13 -> int14: 「このＳＲ同位体比は硬直化しないがしかし避妊経験率だ」ということは成り立たない; int8 & int14 -> int15: このＳＲ同位体比は麗々しくない; fact26 & int15 -> int16: この棘は喜ばしくて加えてそれは二倍する; int7 & int16 -> int17: この棘は離れ難いということはない;
$facts$ = fact1: この棘が離れ難くないしその上それがどうしても欲しくないならばその楽人は離れ難くない fact2: 仮に何らかのものは分画するなら「硬直化しないしまた避妊経験率だ」ということは嘘である fact3: 何かは代位でないとしたら分画するしそれは過不足無い fact4: もしも何らかのものは清々するということはないとしたら「Ｓ状結腸であるかあるいはプリントラインであるかあるいは両方ともだ」ということは間違いである fact5: その楽人は離れ難くないとすると「あの会社・部門は治癒後であるししかもそれはＤＩＷだ」ということは偽だ fact6: 「あの会社・部門はプリントラインでない」ということは本当だ fact7: もし仮に「あの会社・部門はＳ状結腸であるかもしくはプリントラインである」ということは誤りであるとしたらその肉襞はプリントラインでない fact8: もしも「ある物は治癒後であるしＤＩＷだ」ということは間違いであるならば「清々するということはない」ということは成り立つ fact9: 「その楽人は懐かし物でプリントラインだ」ということは成り立たない fact10: 仮に「何らかのものは重たくて更に懐かし」ということは間違いであるならそれは詐称するということはない fact11: もしもその楽人が懐かしということはないならそれは詐称するということはない fact12: 何らかのものはプリントラインでないとするとそれは詐称するけれど格闘スタイルでない fact13: もしもこのＳＲ同位体比が麗々しくないとしたらこの棘が喜ばしいしその上二倍する fact14: 懐かしないものは詐称しない fact15: あの飛行隊は重たくない fact16: もしもその縁起物は規定書でないなら「この棘はどうしても欲しくない」ということは成り立つ fact17: 仮にこのＳＲ同位体比は最大離陸重量でなくて加えて中止すらないとするとそれは代位でない fact18: 仮にその楽人は詐称するということはないとすると「その肉襞は詐称するしおまけに格闘スタイルである」ということは成り立たない fact19: このＳＲ同位体比は最大離陸重量でないし中止すらない fact20: あの会社・部門はプリントラインでないならば「「その楽人は重たいし懐かし」ということは本当だ」ということは偽だ fact21: 「ある物は硬直化しないがしかし避妊経験率だ」ということは成り立たないならば麗々しいということはない fact22: 「その楽人は詐称しない」ということは間違いでないとしたら「その肉襞は詐称するけど格闘スタイルでない」ということは誤りだ fact23: 仮に喜ばしい物が二倍するとするとそれは離れ難いということはない ; $hypothesis$ = 「その肉襞は詐称するが格闘スタイルでない」ということは偽である ; $proof$ = 
fact20 & fact6 -> int1: 「その楽人は重たいし加えて懐かし」ということは成り立たない; fact10 -> int2: 「その楽人は重たいししかも懐かし」ということは成り立たないならば詐称しない; int1 & int2 -> int3: その楽人は詐称するということはない; int3 & fact22 -> hypothesis; __PROVED__
事実1: この棘が離れ難くないしその上それがどうしても欲しくないならばその楽人は離れ難くない
事実2: 仮に何らかのものは分画するなら「硬直化しないしまた避妊経験率だ」ということは嘘である
事実3: 何かは代位でないとしたら分画するしそれは過不足無い
事実4: もしも何らかのものは清々するということはないとしたら「Ｓ状結腸であるかあるいはプリントラインであるかあるいは両方ともだ」ということは間違いである
事実5: その楽人は離れ難くないとすると「あの会社・部門は治癒後であるししかもそれはＤＩＷだ」ということは偽だ
事実6: 「あの会社・部門はプリントラインでない」ということは本当だ
事実7: もし仮に「あの会社・部門はＳ状結腸であるかもしくはプリントラインである」ということは誤りであるとしたらその肉襞はプリントラインでない
事実8: もしも「ある物は治癒後であるしＤＩＷだ」ということは間違いであるならば「清々するということはない」ということは成り立つ
事実9: 「その楽人は懐かし物でプリントラインだ」ということは成り立たない
事実10: 仮に「何らかのものは重たくて更に懐かし」ということは間違いであるならそれは詐称するということはない
事実11: もしもその楽人が懐かしということはないならそれは詐称するということはない
事実12: 何らかのものはプリントラインでないとするとそれは詐称するけれど格闘スタイルでない
事実13: もしもこのＳＲ同位体比が麗々しくないとしたらこの棘が喜ばしいしその上二倍する
事実14: 懐かしないものは詐称しない
事実15: あの飛行隊は重たくない
事実16: もしもその縁起物は規定書でないなら「この棘はどうしても欲しくない」ということは成り立つ
事実17: 仮にこのＳＲ同位体比は最大離陸重量でなくて加えて中止すらないとするとそれは代位でない
事実18: 仮にその楽人は詐称するということはないとすると「その肉襞は詐称するしおまけに格闘スタイルである」ということは成り立たない
事実19: このＳＲ同位体比は最大離陸重量でないし中止すらない
事実20: あの会社・部門はプリントラインでないならば「「その楽人は重たいし懐かし」ということは本当だ」ということは偽だ
事実21: 「ある物は硬直化しないがしかし避妊経験率だ」ということは成り立たないならば麗々しいということはない
事実22: 「その楽人は詐称しない」ということは間違いでないとしたら「その肉襞は詐称するけど格闘スタイルでない」ということは誤りだ
事実23: 仮に喜ばしい物が二倍するとするとそれは離れ難いということはない

仮説: 「その肉襞は詐称するが格闘スタイルでない」ということは偽である
1. 事実20と事実6から、推論1: "「その楽人は重たいし加えて懐かし」ということは成り立たない"が導かれる
2. 事実10から、推論2: "「その楽人は重たいししかも懐かし」ということは成り立たないならば詐称しない"が導かれる
3. 推論1と推論2から、推論3: "その楽人は詐称するということはない"が導かれる
4. 推論3と事実22から、仮説が導かれる

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