「そのＤＴはＢ君であるかあるいはそれは食事するかあるいは両方だ」ということは偽だ
fact1: あの下線部は定型化である fact2: もしなにかは協力しないとするとそれは生まれ易くて子供っぽい fact3: 「想定し難いということはない」ものはある fact4: 「あの有線ＬＡＮは階下であるし協力する」ということは成り立つということはないならば協力するということはない fact5: もしもあの下線部が下ろし易くないし明かないとするとそのＤＴは定型化でない fact6: 仮に「あの下線部は定型化でない」ということは事実ならば「そのＤＴはＢ君であるかまたは食事するか両方ともだ」ということは事実でない fact7: 仮にあの有線ＬＡＮが生まれ易いならば見過ごす fact8: 素早いものは下ろし易くない物で加えて明かない fact9: 仮にあの有線ＬＡＮが唐獅子牡丹だということはないとすればあの骨孔は唐獅子牡丹でない fact10: 仮に「あの下線部はこっくりしなくてそれは素早くない」ということは成り立たないならばそれは素早い fact11: あるものは唐獅子牡丹でないとしたら「それはＡＴＰ依存性プロテアーゼだということはないかあるいは着任するかまたは両方である」ということは間違いである fact12: もしあるものが明くとするとそれは定型化であるがしかし下ろし易くない fact13: あの下線部はＢ君である fact14: 下ろし易い物はＢ君だ fact15: もしある物はＡＴＰ依存性プロテアーゼでないなら「情報過多であるしさらにこっくりしない」ということは誤っている fact16: もしあの下線部が定型化であるとしたらそのＤＴは下ろし易い fact17: もし「想定し難いということはない」物はあるなら「あの有線ＬＡＮは階下だしさらに協力する」ということは事実と異なる fact18: もしも「あの骨孔はＡＴＰ依存性プロテアーゼでないかあるいは着任するかまたは両方ともだ」ということは成り立たないならその妃達はＡＴＰ依存性プロテアーゼでない fact19: 仮にその妃達が定型化である一方でそれが下ろし易くないならあの下線部は定型化でない fact20: もし「なんらかのものは情報過多であるがこっくりしない」ということは誤っているとすればそれはアメリカらしくない fact21: ある物がアメリカらしくないとするとそれは素早いしおまけに明く fact22: ある物が見過ごすなら唐獅子牡丹でないかそれは創作性でないかもしくは両方だ
fact16 & fact1 -> int1: そのＤＴは下ろし易い; fact14 -> int2: 仮にそのＤＴが下ろし易いならばそれはＢ君である; int1 & int2 -> int3: そのＤＴはＢ君だ; int3 -> hypothesis;
fact16 & fact1 -> int1: {B}{b}; fact14 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 -> hypothesis;
「そのＤＴはＢ君であるかまたは食事する」ということは成り立たない
fact33 -> int4: もし仮にその妃達が明くなら定型化だしおまけに下ろし易くない; fact31 -> int5: もしその妃達がアメリカらしいということはないならばそれは素早くてさらに明く; fact26 -> int6: もし「その妃達は情報過多だ一方でこっくりしない」ということは嘘だとするとそれはアメリカらしくない; fact27 -> int7: もし仮にその妃達はＡＴＰ依存性プロテアーゼでないとすれば「情報過多だけどこっくりしない」ということは事実でない; fact23 -> int8: 仮にあの骨孔は唐獅子牡丹でないなら「それはＡＴＰ依存性プロテアーゼだということはないかそれは着任する」ということは誤りだ; fact34 -> int9: もし仮にあの有線ＬＡＮが見過ごせば唐獅子牡丹であるということはないかもしくは創作性でない; fact37 -> int10: もしあの有線ＬＡＮが協力しないとすると生まれ易くて加えて子供っぽい; fact32 & fact36 -> int11: 「あの有線ＬＡＮは階下であるしかつ協力する」ということは成り立たない; fact29 & int11 -> int12: あの有線ＬＡＮは協力しない; int10 & int12 -> int13: あの有線ＬＡＮは生まれ易くて子供っぽい; int13 -> int14: あの有線ＬＡＮは生まれ易い; fact30 & int14 -> int15: あの有線ＬＡＮは見過ごす; int9 & int15 -> int16: あの有線ＬＡＮは唐獅子牡丹だということはないか創作性でないかどちらもである;
$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$ = 
fact16 & fact1 -> int1: そのＤＴは下ろし易い; fact14 -> int2: 仮にそのＤＴが下ろし易いならばそれはＢ君である; int1 & int2 -> int3: そのＤＴはＢ君だ; int3 -> 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. 事実16と事実1から、推論1: "そのＤＴは下ろし易い"が導かれる
2. 事実14から、推論2: "仮にそのＤＴが下ろし易いならばそれはＢ君である"が導かれる
3. 推論1と推論2から、推論3: "そのＤＴはＢ君だ"が導かれる
4. 推論3から、仮説が否定される

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