この自動運動は奴隷化しない
fact1: この自動運動はだだっ広くない fact2: 「もしもこの自動運動がはんなりしないとするとこの自動運動は若宮氏説でないけど言い易い」ということは誤りでない fact3: 仮に「何かは現わるけど答申しない」ということは嘘だとすると奴隷化しない fact4: 仮に何らかの物が答申しないなら奴隷化するしおまけに現わる fact5: とある物は若宮氏説であるならば「それが現わるしその上それは答申しない」ということは成り立たない fact6: この自動運動は奴隷化するということはない fact7: もしこの自動運動が若宮氏説でないがしかしそれが言い易いとするとあの不良品は若宮氏説である fact8: 「そのステアリングレスポンスは奴隷化するということはない」ということは偽でない fact9: このアンケート用紙は奴隷化するということはない fact10: もし仮に「このリバーブは鼓膜所見でない」ということは成り立つとすれば「それは若宮氏説でないしまたそれははんなりしない」ということは成り立つ fact11: 「「鼓膜所見でかつ汚れ難い」ということは嘘な」ものはある fact12: もし「「鼓膜所見でその上汚れ難い」ということは誤りである」ものがあればこのリバーブは鼓膜所見でない fact13: 「この自動運動は恩返しでない」ということは成り立つ fact14: もし仮になんらかのものは若宮氏説でないとすれば「それは言い易くない一方で答申する」ということは嘘だ fact15: この大腸は奴隷化しない
fact6 -> hypothesis;
fact6 -> hypothesis;
あの不良品は奴隷化しない
fact16 -> int1: もしも「あの不良品は現わるけれど答申しない」ということは嘘ならば奴隷化するということはない; fact17 -> int2: もしもあの不良品は若宮氏説ならば「現わるしそれに答申しない」ということは嘘である;
$facts$ = fact1: この自動運動はだだっ広くない fact2: 「もしもこの自動運動がはんなりしないとするとこの自動運動は若宮氏説でないけど言い易い」ということは誤りでない fact3: 仮に「何かは現わるけど答申しない」ということは嘘だとすると奴隷化しない fact4: 仮に何らかの物が答申しないなら奴隷化するしおまけに現わる fact5: とある物は若宮氏説であるならば「それが現わるしその上それは答申しない」ということは成り立たない fact6: この自動運動は奴隷化するということはない fact7: もしこの自動運動が若宮氏説でないがしかしそれが言い易いとするとあの不良品は若宮氏説である fact8: 「そのステアリングレスポンスは奴隷化するということはない」ということは偽でない fact9: このアンケート用紙は奴隷化するということはない fact10: もし仮に「このリバーブは鼓膜所見でない」ということは成り立つとすれば「それは若宮氏説でないしまたそれははんなりしない」ということは成り立つ fact11: 「「鼓膜所見でかつ汚れ難い」ということは嘘な」ものはある fact12: もし「「鼓膜所見でその上汚れ難い」ということは誤りである」ものがあればこのリバーブは鼓膜所見でない fact13: 「この自動運動は恩返しでない」ということは成り立つ fact14: もし仮になんらかのものは若宮氏説でないとすれば「それは言い易くない一方で答申する」ということは嘘だ fact15: この大腸は奴隷化しない ; $hypothesis$ = この自動運動は奴隷化しない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: この自動運動はだだっ広くない
事実2: 「もしもこの自動運動がはんなりしないとするとこの自動運動は若宮氏説でないけど言い易い」ということは誤りでない
事実3: 仮に「何かは現わるけど答申しない」ということは嘘だとすると奴隷化しない
事実4: 仮に何らかの物が答申しないなら奴隷化するしおまけに現わる
事実5: とある物は若宮氏説であるならば「それが現わるしその上それは答申しない」ということは成り立たない
事実6: この自動運動は奴隷化するということはない
事実7: もしこの自動運動が若宮氏説でないがしかしそれが言い易いとするとあの不良品は若宮氏説である
事実8: 「そのステアリングレスポンスは奴隷化するということはない」ということは偽でない
事実9: このアンケート用紙は奴隷化するということはない
事実10: もし仮に「このリバーブは鼓膜所見でない」ということは成り立つとすれば「それは若宮氏説でないしまたそれははんなりしない」ということは成り立つ
事実11: 「「鼓膜所見でかつ汚れ難い」ということは嘘な」ものはある
事実12: もし「「鼓膜所見でその上汚れ難い」ということは誤りである」ものがあればこのリバーブは鼓膜所見でない
事実13: 「この自動運動は恩返しでない」ということは成り立つ
事実14: もし仮になんらかのものは若宮氏説でないとすれば「それは言い易くない一方で答申する」ということは嘘だ
事実15: この大腸は奴隷化しない

仮説: この自動運動は奴隷化しない
1. 事実6から、仮説が導かれる

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