この名誉教授は分かり易いけど操縦桿であるということはない
fact1: 「「漏れ無くないししかも向かわさない」ということは成り立たない」ものはある fact2: 「「操縦桿でなくて振り子運動である」ということは偽である」ものはある fact3: もし仮にこの映像表現は振り子運動でないならば「あの意味不明は激減するか振り子運動でないか両方である」ということは偽である fact4: もしこの積層板が振り子運動だということはないとしたらこの映像表現は操縦桿でない fact5: もし仮にある物が激減しないならそれは振り子運動で更に操縦桿だ fact6: 「「漏れ無くなくてまた向かわさない」ということは成り立たない」ものがあればこの映像表現は振り子運動でない fact7: この映像表現はそびれない fact8: もしもあるものがそびれないならそれは病まないしおまけに空恐ろしくない fact9: 振り子運動は当て付けがましいけど同時通訳でない fact10: この積層板は振り子運動でない fact11: もしもこの積層板が操縦桿だとすればこの名誉教授は分かり易いが操縦桿でない fact12: もし「あの意味不明は激減するか振り子運動でない」ということは偽ならばあの積層板は操縦桿である fact13: 仮にこの映像表現が病まないし空恐ろしくないならばあのポジティブシンキングは買い続けない fact14: 「「分かり易いけれど振り子運動でない」ということは確かだということはない」物はある fact15: もしあるものは買い続けないとすれば「遅れ易いかまたは分かり易いかもしくは両方である」ということは確かでない fact16: あの意味不明が振り子運動であるとしたらこの映像表現は激減する一方で振り子運動でない fact17: この積層板は人恋しくない fact18: もし「なにがしかの物は遅れ易いかまたは分かり易いかまたは両方である」ということは間違いだとするとそれは激減しない fact19: 「「振り子運動でない一方で分かり易い」ということは誤りである」ものはある fact20: もしもあの意味不明が操縦桿であるならこの名誉教授は操縦桿でない
fact1 & fact6 -> int1: この映像表現は振り子運動でない; int1 & fact3 -> int2: 「あの意味不明は激減するか振り子運動だということはない」ということは成り立たない; int2 & fact12 -> int3: この積層板は操縦桿だ; int3 & fact11 -> hypothesis;
このポジティブシンキングは当て付けがましいがしかし同時通訳でない
fact21 -> int4: 仮にこのポジティブシンキングが振り子運動なら当て付けがましいしそれは同時通訳であるということはない; fact23 -> int5: もしも「このポジティブシンキングは激減しない」ということは本当であるとしたらそれは振り子運動であるしそれに操縦桿である; fact22 -> int6: もし「このポジティブシンキングは遅れ易いかもしくはそれは分かり易いかもしくはどちらもである」ということは成り立つということはないとすると激減しない; fact27 -> int7: もしこのポジティブシンキングは買い続けないならば「遅れ易いかあるいは分かり易いかもしくは両方だ」ということは事実と異なる; fact26 -> int8: もしもこの映像表現がそびれないならば病まないしさらに空恐ろしいということはない; int8 & fact25 -> int9: この映像表現は病まないし空恐ろしくない; fact24 & int9 -> int10: 「このポジティブシンキングは買い続けない」ということは本当だ; int7 & int10 -> int11: 「このポジティブシンキングは遅れ易いかまたは分かり易い」ということは間違いだ; int6 & int11 -> int12: このポジティブシンキングは激減しない; int5 & int12 -> int13: このポジティブシンキングは振り子運動だし加えて操縦桿である; int13 -> int14: このポジティブシンキングは振り子運動だ; int4 & int14 -> hypothesis;
$facts$ = fact1: 「「漏れ無くないししかも向かわさない」ということは成り立たない」ものはある fact2: 「「操縦桿でなくて振り子運動である」ということは偽である」ものはある fact3: もし仮にこの映像表現は振り子運動でないならば「あの意味不明は激減するか振り子運動でないか両方である」ということは偽である fact4: もしこの積層板が振り子運動だということはないとしたらこの映像表現は操縦桿でない fact5: もし仮にある物が激減しないならそれは振り子運動で更に操縦桿だ fact6: 「「漏れ無くなくてまた向かわさない」ということは成り立たない」ものがあればこの映像表現は振り子運動でない fact7: この映像表現はそびれない fact8: もしもあるものがそびれないならそれは病まないしおまけに空恐ろしくない fact9: 振り子運動は当て付けがましいけど同時通訳でない fact10: この積層板は振り子運動でない fact11: もしもこの積層板が操縦桿だとすればこの名誉教授は分かり易いが操縦桿でない fact12: もし「あの意味不明は激減するか振り子運動でない」ということは偽ならばあの積層板は操縦桿である fact13: 仮にこの映像表現が病まないし空恐ろしくないならばあのポジティブシンキングは買い続けない fact14: 「「分かり易いけれど振り子運動でない」ということは確かだということはない」物はある fact15: もしあるものは買い続けないとすれば「遅れ易いかまたは分かり易いかもしくは両方である」ということは確かでない fact16: あの意味不明が振り子運動であるとしたらこの映像表現は激減する一方で振り子運動でない fact17: この積層板は人恋しくない fact18: もし「なにがしかの物は遅れ易いかまたは分かり易いかまたは両方である」ということは間違いだとするとそれは激減しない fact19: 「「振り子運動でない一方で分かり易い」ということは誤りである」ものはある fact20: もしもあの意味不明が操縦桿であるならこの名誉教授は操縦桿でない ; $hypothesis$ = この名誉教授は分かり易いけど操縦桿であるということはない ; $proof$ = 
fact1 & fact6 -> int1: この映像表現は振り子運動でない; int1 & fact3 -> int2: 「あの意味不明は激減するか振り子運動だということはない」ということは成り立たない; int2 & fact12 -> int3: この積層板は操縦桿だ; int3 & fact11 -> hypothesis; __PROVED__
事実1: 「「漏れ無くないししかも向かわさない」ということは成り立たない」ものはある
事実2: 「「操縦桿でなくて振り子運動である」ということは偽である」ものはある
事実3: もし仮にこの映像表現は振り子運動でないならば「あの意味不明は激減するか振り子運動でないか両方である」ということは偽である
事実4: もしこの積層板が振り子運動だということはないとしたらこの映像表現は操縦桿でない
事実5: もし仮にある物が激減しないならそれは振り子運動で更に操縦桿だ
事実6: 「「漏れ無くなくてまた向かわさない」ということは成り立たない」ものがあればこの映像表現は振り子運動でない
事実7: この映像表現はそびれない
事実8: もしもあるものがそびれないならそれは病まないしおまけに空恐ろしくない
事実9: 振り子運動は当て付けがましいけど同時通訳でない
事実10: この積層板は振り子運動でない
事実11: もしもこの積層板が操縦桿だとすればこの名誉教授は分かり易いが操縦桿でない
事実12: もし「あの意味不明は激減するか振り子運動でない」ということは偽ならばあの積層板は操縦桿である
事実13: 仮にこの映像表現が病まないし空恐ろしくないならばあのポジティブシンキングは買い続けない
事実14: 「「分かり易いけれど振り子運動でない」ということは確かだということはない」物はある
事実15: もしあるものは買い続けないとすれば「遅れ易いかまたは分かり易いかもしくは両方である」ということは確かでない
事実16: あの意味不明が振り子運動であるとしたらこの映像表現は激減する一方で振り子運動でない
事実17: この積層板は人恋しくない
事実18: もし「なにがしかの物は遅れ易いかまたは分かり易いかまたは両方である」ということは間違いだとするとそれは激減しない
事実19: 「「振り子運動でない一方で分かり易い」ということは誤りである」ものはある
事実20: もしもあの意味不明が操縦桿であるならこの名誉教授は操縦桿でない

仮説: この名誉教授は分かり易いけど操縦桿であるということはない
1. 事実1と事実6から、推論1: "この映像表現は振り子運動でない"が導かれる
2. 推論1と事実3から、推論2: "「あの意味不明は激減するか振り子運動だということはない」ということは成り立たない"が導かれる
3. 推論2と事実12から、推論3: "この積層板は操縦桿だ"が導かれる
4. 推論3と事実11から、仮説が導かれる

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