あの部落民は華々しい
fact1: 仮に何らかの物はシェーカーでないとすると「「この農民生活は奪わないかまたは二大別するかもしくはどちらもだ」ということは真実でない」ということは正しい fact2: もしも「「奪うということはないか二大別する」ということは誤りな」ものがあるならばあの善悪はどうしても欲しいということはない fact3: とある物が道家別物説でないとするとそれは書き上げるということはなくてまた純化する fact4: あの千九百二十六年生まれは書き上げない fact5: 「書き上げない」物はある fact6: 仮に「このアイラッシュは濃くなくて怠くらない」ということは成り立たないならあの千九百二十六年生まれは道家別物説だということはない fact7: あの同・廊下が反省するとしたらそのツリー表示パネルは根気良い fact8: 「労労じ」ものはある fact9: 怠くらないものは出血し易いということはない一方で銜えタバコである fact10: 「あの法制上は秘書だがしかし発掘しない」ということは成り立たない fact11: 「芙蓉グループで更に其れっぽい」物はある fact12: あの千九百二十六年生まれが道家別物説でないとすれば書き上げるということはない fact13: もし仮に「あの法制上は秘書であるが発掘しない」ということは正しいということはないならばシェーカーでない fact14: もし「あの千九百二十六年生まれは道家別物説でないしさらにそれは華々しいということはない」ということは事実と異なればあの部落民は怠くらない fact15: もしもその善悪は製品選択なら「あの同・廊下は反省する」ということは成り立つ fact16: もし仮にあるものが純化しないならば書き上げないしそれに濃い fact17: 「このアイラッシュは濃いけれどそれは怠くらない」ということは誤りである fact18: どうしても欲しくない物は製品選択である fact19: もしもある物が書き上げないけど純化するならばあの部落民は華々しくない fact20: 「このアイラッシュは濃い」ということは成り立つとしたらあの千九百二十六年生まれは道家別物説でない fact21: 「このアイラッシュは濃くないしまた怠いということはない」ということは成り立たない fact22: もしこのアイラッシュが書き上げるとするとあの部落民は華々しい
fact6 & fact21 -> int1: あの千九百二十六年生まれは道家別物説でない; fact3 -> int2: 仮にあの千九百二十六年生まれが道家別物説でないなら書き上げないしその上それは純化する; int1 & int2 -> int3: あの千九百二十六年生まれは書き上げるということはないがしかし純化する; int3 -> int4: とあるものは書き上げないけど純化する; int4 & fact19 -> hypothesis;
あの部落民は華々しい
fact25 -> int5: もし仮にその善悪がどうしても欲しくないとすれば製品選択である; fact24 & fact26 -> int6: 「あの法制上はシェーカーでない」ということは成り立つ; int6 -> int7: 「シェーカーだということはない」ものはある; int7 & fact27 -> int8: 「この農民生活は奪わないかまたはそれは二大別するかまたは両方ともである」ということは誤りである; int8 -> int9: 「「奪わないかまたは二大別するかもしくはどちらもだ」ということは間違いである」ものはある; int9 & fact28 -> int10: その善悪はどうしても欲しくない; int5 & int10 -> int11: その善悪は製品選択だ; fact30 & int11 -> int12: あの同・廊下は反省する; fact23 & int12 -> int13: そのツリー表示パネルは根気良い; int13 -> int14: 根気良いものはある;
$facts$ = fact1: 仮に何らかの物はシェーカーでないとすると「「この農民生活は奪わないかまたは二大別するかもしくはどちらもだ」ということは真実でない」ということは正しい fact2: もしも「「奪うということはないか二大別する」ということは誤りな」ものがあるならばあの善悪はどうしても欲しいということはない fact3: とある物が道家別物説でないとするとそれは書き上げるということはなくてまた純化する fact4: あの千九百二十六年生まれは書き上げない fact5: 「書き上げない」物はある fact6: 仮に「このアイラッシュは濃くなくて怠くらない」ということは成り立たないならあの千九百二十六年生まれは道家別物説だということはない fact7: あの同・廊下が反省するとしたらそのツリー表示パネルは根気良い fact8: 「労労じ」ものはある fact9: 怠くらないものは出血し易いということはない一方で銜えタバコである fact10: 「あの法制上は秘書だがしかし発掘しない」ということは成り立たない fact11: 「芙蓉グループで更に其れっぽい」物はある fact12: あの千九百二十六年生まれが道家別物説でないとすれば書き上げるということはない fact13: もし仮に「あの法制上は秘書であるが発掘しない」ということは正しいということはないならばシェーカーでない fact14: もし「あの千九百二十六年生まれは道家別物説でないしさらにそれは華々しいということはない」ということは事実と異なればあの部落民は怠くらない fact15: もしもその善悪は製品選択なら「あの同・廊下は反省する」ということは成り立つ fact16: もし仮にあるものが純化しないならば書き上げないしそれに濃い fact17: 「このアイラッシュは濃いけれどそれは怠くらない」ということは誤りである fact18: どうしても欲しくない物は製品選択である fact19: もしもある物が書き上げないけど純化するならばあの部落民は華々しくない fact20: 「このアイラッシュは濃い」ということは成り立つとしたらあの千九百二十六年生まれは道家別物説でない fact21: 「このアイラッシュは濃くないしまた怠いということはない」ということは成り立たない fact22: もしこのアイラッシュが書き上げるとするとあの部落民は華々しい ; $hypothesis$ = あの部落民は華々しい ; $proof$ = 
fact6 & fact21 -> int1: あの千九百二十六年生まれは道家別物説でない; fact3 -> int2: 仮にあの千九百二十六年生まれが道家別物説でないなら書き上げないしその上それは純化する; int1 & int2 -> int3: あの千九百二十六年生まれは書き上げるということはないがしかし純化する; int3 -> int4: とあるものは書き上げないけど純化する; int4 & fact19 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物はシェーカーでないとすると「「この農民生活は奪わないかまたは二大別するかもしくはどちらもだ」ということは真実でない」ということは正しい
事実2: もしも「「奪うということはないか二大別する」ということは誤りな」ものがあるならばあの善悪はどうしても欲しいということはない
事実3: とある物が道家別物説でないとするとそれは書き上げるということはなくてまた純化する
事実4: あの千九百二十六年生まれは書き上げない
事実5: 「書き上げない」物はある
事実6: 仮に「このアイラッシュは濃くなくて怠くらない」ということは成り立たないならあの千九百二十六年生まれは道家別物説だということはない
事実7: あの同・廊下が反省するとしたらそのツリー表示パネルは根気良い
事実8: 「労労じ」ものはある
事実9: 怠くらないものは出血し易いということはない一方で銜えタバコである
事実10: 「あの法制上は秘書だがしかし発掘しない」ということは成り立たない
事実11: 「芙蓉グループで更に其れっぽい」物はある
事実12: あの千九百二十六年生まれが道家別物説でないとすれば書き上げるということはない
事実13: もし仮に「あの法制上は秘書であるが発掘しない」ということは正しいということはないならばシェーカーでない
事実14: もし「あの千九百二十六年生まれは道家別物説でないしさらにそれは華々しいということはない」ということは事実と異なればあの部落民は怠くらない
事実15: もしもその善悪は製品選択なら「あの同・廊下は反省する」ということは成り立つ
事実16: もし仮にあるものが純化しないならば書き上げないしそれに濃い
事実17: 「このアイラッシュは濃いけれどそれは怠くらない」ということは誤りである
事実18: どうしても欲しくない物は製品選択である
事実19: もしもある物が書き上げないけど純化するならばあの部落民は華々しくない
事実20: 「このアイラッシュは濃い」ということは成り立つとしたらあの千九百二十六年生まれは道家別物説でない
事実21: 「このアイラッシュは濃くないしまた怠いということはない」ということは成り立たない
事実22: もしこのアイラッシュが書き上げるとするとあの部落民は華々しい

仮説: あの部落民は華々しい
1. 事実6と事実21から、推論1: "あの千九百二十六年生まれは道家別物説でない"が導かれる
2. 事実3から、推論2: "仮にあの千九百二十六年生まれが道家別物説でないなら書き上げないしその上それは純化する"が導かれる
3. 推論1と推論2から、推論3: "あの千九百二十六年生まれは書き上げるということはないがしかし純化する"が導かれる
4. 推論3から、推論4: "とあるものは書き上げないけど純化する"が導かれる
5. 推論4と事実19から、仮説が否定される

よって、仮説が否定されました。