そのＡＤＨＤは吸収し易い一方でおっそろしない
fact1: 仮にこの当該事件が構え易いとしたらおっかなくてさらにそれはＡＥでない fact2: 眠たくない物はおっそろしけれど平らはない fact3: この当該事件は左クリックするし構え易い fact4: もしとあるものが不足し易いとしたらそれは加入する fact5: なんらかの物が広がるとしたらそれは加入しないかもしくはそれは不足し易いかあるいはどちらもだ fact6: そのＡＤＨＤは吸収し易いがそれはおっそろしない fact7: もし仮に「とある物は滑り難いしその上呆気ない」ということは偽であるとすれば眠たくない fact8: もし仮になんらかの物は滑り難くないとすれば「呆気なくない一方で眠たい」ということは嘘だ fact9: もしもこの抽送が加入するということはないかまたは不足し易いならそのＡＤＨＤは加入しない fact10: もしもこの当該事件がＡＥでないならこの海賊団は農耕であるかあるいは面倒臭くない fact11: 「もしもこの走波焼きは加入するとすると「この抽送は滑り難いということはない」ということは成り立つ」ということは本当だ fact12: もしこの海賊団が面倒臭くないとしたらこの走波焼きは面倒臭い fact13: なんらかの物は面倒臭いとすれば「惜しみ無くてそれは勝たない」ということは成り立たない fact14: もしもこの海賊団は農耕であるなら「この走波焼きは面倒臭い」ということは確かだ fact15: 仮に「この走波焼きは惜しみ無いがそれは勝たない」ということは誤りならば「この抽送は広がる」ということは成り立つ fact16: もし仮に「加入しない」ものはあれば「「その有配偶者は滑り難くておまけに呆気ない」ということは成り立つ」ということは成り立たない fact17: そのＡＤＨＤはおっそろしない fact18: もし仮になにかは眠たくないなら「吸収し易いけれどおっそろしない」ということは本当でない fact19: そのＡＤＨＤはキャッシュ化だがしかしＡＥでない
fact6 -> hypothesis;
fact6 -> hypothesis;
その有配偶者がおっそろし一方で平らはない
fact25 -> int1: もしその有配偶者が眠たくないならばおっそろしけど平らぐということはない; fact24 -> int2: 「その有配偶者は滑り難くてそれに呆気ない」ということは事実でないなら眠たくない; fact28 -> int3: もしもこの抽送が広がるとすればそれは加入しないかあるいはそれは不足し易いかまたは両方である; fact30 -> int4: もし仮にこの走波焼きは面倒臭いならば「それは惜しみ無いがしかし勝たない」ということは偽である; fact27 -> int5: この当該事件は構え易い; fact20 & int5 -> int6: この当該事件はおっかないけどそれはＡＥでない; int6 -> int7: この当該事件はＡＥだということはない; fact23 & int7 -> int8: この海賊団は農耕であるかあるいはそれは面倒臭くないかまたは両方である; int8 & fact26 & fact29 -> int9: この走波焼きは面倒臭い; int4 & int9 -> int10: 「この走波焼きは惜しみ無い一方で勝たない」ということは間違っている; fact22 & int10 -> int11: この抽送は広がる; int3 & int11 -> int12: この抽送は加入しないかもしくは不足し易いかあるいは両方ともだ; fact21 & int12 -> int13: そのＡＤＨＤは加入しない; int13 -> int14: 何らかの物は加入しない; int14 & fact31 -> int15: 「その有配偶者は滑り難くて呆気ない」ということは誤りである; int2 & int15 -> int16: その有配偶者は眠たいということはない; int1 & int16 -> hypothesis;
$facts$ = fact1: 仮にこの当該事件が構え易いとしたらおっかなくてさらにそれはＡＥでない fact2: 眠たくない物はおっそろしけれど平らはない fact3: この当該事件は左クリックするし構え易い fact4: もしとあるものが不足し易いとしたらそれは加入する fact5: なんらかの物が広がるとしたらそれは加入しないかもしくはそれは不足し易いかあるいはどちらもだ fact6: そのＡＤＨＤは吸収し易いがそれはおっそろしない fact7: もし仮に「とある物は滑り難いしその上呆気ない」ということは偽であるとすれば眠たくない fact8: もし仮になんらかの物は滑り難くないとすれば「呆気なくない一方で眠たい」ということは嘘だ fact9: もしもこの抽送が加入するということはないかまたは不足し易いならそのＡＤＨＤは加入しない fact10: もしもこの当該事件がＡＥでないならこの海賊団は農耕であるかあるいは面倒臭くない fact11: 「もしもこの走波焼きは加入するとすると「この抽送は滑り難いということはない」ということは成り立つ」ということは本当だ fact12: もしこの海賊団が面倒臭くないとしたらこの走波焼きは面倒臭い fact13: なんらかの物は面倒臭いとすれば「惜しみ無くてそれは勝たない」ということは成り立たない fact14: もしもこの海賊団は農耕であるなら「この走波焼きは面倒臭い」ということは確かだ fact15: 仮に「この走波焼きは惜しみ無いがそれは勝たない」ということは誤りならば「この抽送は広がる」ということは成り立つ fact16: もし仮に「加入しない」ものはあれば「「その有配偶者は滑り難くておまけに呆気ない」ということは成り立つ」ということは成り立たない fact17: そのＡＤＨＤはおっそろしない fact18: もし仮になにかは眠たくないなら「吸収し易いけれどおっそろしない」ということは本当でない fact19: そのＡＤＨＤはキャッシュ化だがしかしＡＥでない ; $hypothesis$ = そのＡＤＨＤは吸収し易い一方でおっそろしない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にこの当該事件が構え易いとしたらおっかなくてさらにそれはＡＥでない
事実2: 眠たくない物はおっそろしけれど平らはない
事実3: この当該事件は左クリックするし構え易い
事実4: もしとあるものが不足し易いとしたらそれは加入する
事実5: なんらかの物が広がるとしたらそれは加入しないかもしくはそれは不足し易いかあるいはどちらもだ
事実6: そのＡＤＨＤは吸収し易いがそれはおっそろしない
事実7: もし仮に「とある物は滑り難いしその上呆気ない」ということは偽であるとすれば眠たくない
事実8: もし仮になんらかの物は滑り難くないとすれば「呆気なくない一方で眠たい」ということは嘘だ
事実9: もしもこの抽送が加入するということはないかまたは不足し易いならそのＡＤＨＤは加入しない
事実10: もしもこの当該事件がＡＥでないならこの海賊団は農耕であるかあるいは面倒臭くない
事実11: 「もしもこの走波焼きは加入するとすると「この抽送は滑り難いということはない」ということは成り立つ」ということは本当だ
事実12: もしこの海賊団が面倒臭くないとしたらこの走波焼きは面倒臭い
事実13: なんらかの物は面倒臭いとすれば「惜しみ無くてそれは勝たない」ということは成り立たない
事実14: もしもこの海賊団は農耕であるなら「この走波焼きは面倒臭い」ということは確かだ
事実15: 仮に「この走波焼きは惜しみ無いがそれは勝たない」ということは誤りならば「この抽送は広がる」ということは成り立つ
事実16: もし仮に「加入しない」ものはあれば「「その有配偶者は滑り難くておまけに呆気ない」ということは成り立つ」ということは成り立たない
事実17: そのＡＤＨＤはおっそろしない
事実18: もし仮になにかは眠たくないなら「吸収し易いけれどおっそろしない」ということは本当でない
事実19: そのＡＤＨＤはキャッシュ化だがしかしＡＥでない

仮説: そのＡＤＨＤは吸収し易い一方でおっそろしない
1. 事実6から、仮説が導かれる

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