あの農業機械は汗臭くない
fact1: なにかは空しかないとすれば「尊しということはないしさらに結び合わない」ということは事実でない fact2: 仮にあの農業機械が無しないとしたらそれは入力端子でない fact3: もしもとあるものは麗しということはないとしたら「それは痛い一方で荒くない」ということは誤りだ fact4: もしも「あのパーマネントは六十歳時点でないしそれは借り易くない」ということは間違いであるとしたらあの農業機械は無しない fact5: 「あの学生運動は尊しないしさらに吸収し易くない」ということは事実と異なる fact6: 仮に「あの学生運動は痛いけどそれは荒くない」ということは嘘であるならあの陰陽は激しくない fact7: 「あの学生運動は尊し一方で吸収し易くない」ということは誤っている fact8: もし仮にあの農業機械が乳臭いがしかし麗しということはないならあの学生運動は麗しない fact9: 仮に「あの学生運動は尊し」ということは成り立つとしたらあの農業機械は専門業者だ fact10: 仮に何らかの物は入力端子でないとすれば「それは乳臭くてそれに麗しない」ということは正しい fact11: 思い易くないものはある fact12: 仮にあの農業機械は専門業者でそれに空しいとしたらそれは汗臭くない fact13: 仮になんらかのものは激しくないならば「「それは専門業者でなくてそれは汗臭い」ということは事実である」ということは偽だ fact14: あの農業機械は空しい fact15: 仮に「あの学生運動は尊しということはないし吸収し易いということはない」ということは事実と異なるとすると「あの農業機械は専門業者である」ということは成り立つ fact16: 仮にあるものは思い易くないとすると「あのパーマネントは六十歳時点でないしそれは借り易くない」ということは嘘である
fact15 & fact5 -> int1: あの農業機械は専門業者だ; int1 & fact14 -> int2: あの農業機械は専門業者であるしそれは空しい; int2 & fact12 -> hypothesis;
「あの陰陽は尊しないし結び合わない」ということは偽だ
fact22 -> int3: あの陰陽は空しかないとしたら「尊しないし結び合わない」ということは誤っている; fact21 -> int4: もしも「あの陰陽は激しいということはない」ということは間違っているということはないとすると「それは専門業者でなくてまたそれは汗臭い」ということは間違っている; fact26 -> int5: 「あの学生運動は麗しない」ということは本当なら「痛いけれど荒いということはない」ということは成り立たない; fact17 -> int6: もしあの農業機械が入力端子でないなら乳臭くてそれは麗しない; fact25 & fact24 -> int7: 「あのパーマネントは六十歳時点でなくて借り易くない」ということは誤りである; fact23 & int7 -> int8: あの農業機械は無しということはない; fact19 & int8 -> int9: あの農業機械は入力端子だということはない; int6 & int9 -> int10: あの農業機械は乳臭いけれど麗しない; fact18 & int10 -> int11: 「あの学生運動は麗しない」ということは成り立つ; int5 & int11 -> int12: 「あの学生運動は痛いがしかし荒くない」ということは誤りである; fact20 & int12 -> int13: 「あの陰陽は激しいということはない」ということは確かだ; int4 & int13 -> int14: 「あの陰陽は専門業者でないけど汗臭い」ということは間違いだ;
$facts$ = fact1: なにかは空しかないとすれば「尊しということはないしさらに結び合わない」ということは事実でない fact2: 仮にあの農業機械が無しないとしたらそれは入力端子でない fact3: もしもとあるものは麗しということはないとしたら「それは痛い一方で荒くない」ということは誤りだ fact4: もしも「あのパーマネントは六十歳時点でないしそれは借り易くない」ということは間違いであるとしたらあの農業機械は無しない fact5: 「あの学生運動は尊しないしさらに吸収し易くない」ということは事実と異なる fact6: 仮に「あの学生運動は痛いけどそれは荒くない」ということは嘘であるならあの陰陽は激しくない fact7: 「あの学生運動は尊し一方で吸収し易くない」ということは誤っている fact8: もし仮にあの農業機械が乳臭いがしかし麗しということはないならあの学生運動は麗しない fact9: 仮に「あの学生運動は尊し」ということは成り立つとしたらあの農業機械は専門業者だ fact10: 仮に何らかの物は入力端子でないとすれば「それは乳臭くてそれに麗しない」ということは正しい fact11: 思い易くないものはある fact12: 仮にあの農業機械は専門業者でそれに空しいとしたらそれは汗臭くない fact13: 仮になんらかのものは激しくないならば「「それは専門業者でなくてそれは汗臭い」ということは事実である」ということは偽だ fact14: あの農業機械は空しい fact15: 仮に「あの学生運動は尊しということはないし吸収し易いということはない」ということは事実と異なるとすると「あの農業機械は専門業者である」ということは成り立つ fact16: 仮にあるものは思い易くないとすると「あのパーマネントは六十歳時点でないしそれは借り易くない」ということは嘘である ; $hypothesis$ = あの農業機械は汗臭くない ; $proof$ = 
fact15 & fact5 -> int1: あの農業機械は専門業者だ; int1 & fact14 -> int2: あの農業機械は専門業者であるしそれは空しい; int2 & fact12 -> hypothesis; __PROVED__
事実1: なにかは空しかないとすれば「尊しということはないしさらに結び合わない」ということは事実でない
事実2: 仮にあの農業機械が無しないとしたらそれは入力端子でない
事実3: もしもとあるものは麗しということはないとしたら「それは痛い一方で荒くない」ということは誤りだ
事実4: もしも「あのパーマネントは六十歳時点でないしそれは借り易くない」ということは間違いであるとしたらあの農業機械は無しない
事実5: 「あの学生運動は尊しないしさらに吸収し易くない」ということは事実と異なる
事実6: 仮に「あの学生運動は痛いけどそれは荒くない」ということは嘘であるならあの陰陽は激しくない
事実7: 「あの学生運動は尊し一方で吸収し易くない」ということは誤っている
事実8: もし仮にあの農業機械が乳臭いがしかし麗しということはないならあの学生運動は麗しない
事実9: 仮に「あの学生運動は尊し」ということは成り立つとしたらあの農業機械は専門業者だ
事実10: 仮に何らかの物は入力端子でないとすれば「それは乳臭くてそれに麗しない」ということは正しい
事実11: 思い易くないものはある
事実12: 仮にあの農業機械は専門業者でそれに空しいとしたらそれは汗臭くない
事実13: 仮になんらかのものは激しくないならば「「それは専門業者でなくてそれは汗臭い」ということは事実である」ということは偽だ
事実14: あの農業機械は空しい
事実15: 仮に「あの学生運動は尊しということはないし吸収し易いということはない」ということは事実と異なるとすると「あの農業機械は専門業者である」ということは成り立つ
事実16: 仮にあるものは思い易くないとすると「あのパーマネントは六十歳時点でないしそれは借り易くない」ということは嘘である

仮説: あの農業機械は汗臭くない
1. 事実15と事実5から、推論1: "あの農業機械は専門業者だ"が導かれる
2. 推論1と事実14から、推論2: "あの農業機械は専門業者であるしそれは空しい"が導かれる
3. 推論2と事実12から、仮説が導かれる

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