この歩みは忘れっぽくないかあるいは報であるかどちらもだ
fact1: あの末梢血単核細胞が肺機能障害であるならこのナチュールは勇ましくらないかもしくは乳化するかもしくは両方ともである fact2: もしもなんらかの物が報でないとすればそれは勇ましいしそれに肺機能障害だ fact3: このナチュールが勇ましいということはないかまたは乳化しないかまたは両方ともだとするとその処女権は報である fact4: もし仮にその処女権が報であるとするとこの歩みは忘れっぽいか報であるかあるいは両方である fact5: あの千本松原は汐留屋でない fact6: もし仮にこのナチュールが報でないかまたは忘れっぽくないかどちらもであるならばあの末梢血単核細胞は報でない fact7: 何らかのものが下車するしおまけにそれは恥ずかしとすれば「それは肺機能障害でない」ということは真実だ fact8: もし仮にあの末梢血単核細胞が肺機能障害ならばこのナチュールは勇ましくらないか乳化しないかあるいは両方ともである fact9: 恥ずかしものは報でないかまたは忘れっぽくないかもしくは両方ともである fact10: 「「夏らしいししかも使い切る」ということは間違いである」ものがあるとしたらあの末梢血単核細胞は潔くない fact11: 仮にあの末梢血単核細胞が焦れったいなら下車する fact12: もしもこのナチュールは乳化するということはないとすると「その処女権は報である」ということは確かである fact13: もしも「あの末梢血単核細胞は勇ましい」ということは真実だとしたらこの先達は勇ましい fact14: 「「夏らしいし使い切る」ということは成り立つということはない」ものはある fact15: この歩みは忘れっぽいかもしくは報であるかあるいはどちらもである fact16: その処女権が報であるならばあの歩みは忘れっぽいということはないかまたはそれは報であるかまたは両方ともである fact17: もしもあの末梢血単核細胞は汐留屋だとすれば「下車する」ということは成り立つ fact18: 仮にこの歩みが下車するとするとその処女権は下車する fact19: 潔いということはない物は焦れったいかまたは汐留屋である fact20: 聡くないものは恥ずかしし加えて日帝だ fact21: もしもその処女権が下車するならばあのナチュールは恥ずかし fact22: あの末梢血単核細胞は肺機能障害だ fact23: この歩みが忘れっぽいとすればその処女権は報でないか忘れっぽいかまたは両方ともだ
fact8 & fact22 -> int1: このナチュールは勇ましくらないかあるいは乳化しないか両方ともである; int1 & fact3 -> int2: その処女権は報である; int2 & fact16 -> hypothesis;
fact8 & fact22 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact3 -> int2: {B}{c}; int2 & fact16 -> hypothesis;
この先達は勇ましい
fact30 -> int3: あの末梢血単核細胞は報でないなら勇ましいし肺機能障害だ; fact26 -> int4: 仮にこのナチュールが恥ずかしとすればそれは報であるということはないかもしくは忘れっぽくない; fact27 -> int5: 「汐留屋でない」物はある;
$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$ = 
fact8 & fact22 -> int1: このナチュールは勇ましくらないかあるいは乳化しないか両方ともである; int1 & fact3 -> int2: その処女権は報である; int2 & fact16 -> 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. 事実8と事実22から、推論1: "このナチュールは勇ましくらないかあるいは乳化しないか両方ともである"が導かれる
2. 推論1と事実3から、推論2: "その処女権は報である"が導かれる
3. 推論2と事実16から、仮説が導かれる

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