この交雑はカメラ屋だ
fact1: 「その益性はスモールステップでないがカメラ屋である」ということは嘘である fact2: もし仮に「その益性は風味調味料でない一方でカメラ屋である」ということは事実でないとすればこの交雑はスモールステップだ fact3: もしも「北上する」ものはあるとしたら「その益性はスモールステップだということはないけれど風味調味料だ」ということは事実と異なる fact4: 仮に「この交雑はスモールステップでないがしかしそれはカメラ屋だ」ということは成り立たないならその益性は風味調味料だ fact5: 「この交雑はスモールステップでないがしかしそれはカメラ屋だ」ということは間違いである fact6: もしも「「その益性はスモールステップでない一方でカメラ屋である」ということは成り立つ」ということは嘘であるならばこの交雑は風味調味料である fact7: 「「風味調味料でない」ということは成り立たない」物はある fact8: 「北上する」ものはある fact9: もしとある物が北上すれば準備運動である fact10: 「その益性はカメラ屋だということはないけれどスモールステップだ」ということは成り立たない fact11: もしその益性がカメラ屋であるということはないとするとこの交雑はスモールステップだ fact12: もし「その益性はスモールステップでないけれどそれは風味調味料である」ということは確かでないとすればこの交雑はカメラ屋である
fact8 & fact3 -> int1: 「その益性はスモールステップでないが風味調味料だ」ということは偽だ; int1 & fact12 -> hypothesis;
fact8 & fact3 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact12 -> hypothesis;
「準備運動である」物はある
fact13 -> int2: もしその益性が北上するならそれは準備運動である;
$facts$ = fact1: 「その益性はスモールステップでないがカメラ屋である」ということは嘘である fact2: もし仮に「その益性は風味調味料でない一方でカメラ屋である」ということは事実でないとすればこの交雑はスモールステップだ fact3: もしも「北上する」ものはあるとしたら「その益性はスモールステップだということはないけれど風味調味料だ」ということは事実と異なる fact4: 仮に「この交雑はスモールステップでないがしかしそれはカメラ屋だ」ということは成り立たないならその益性は風味調味料だ fact5: 「この交雑はスモールステップでないがしかしそれはカメラ屋だ」ということは間違いである fact6: もしも「「その益性はスモールステップでない一方でカメラ屋である」ということは成り立つ」ということは嘘であるならばこの交雑は風味調味料である fact7: 「「風味調味料でない」ということは成り立たない」物はある fact8: 「北上する」ものはある fact9: もしとある物が北上すれば準備運動である fact10: 「その益性はカメラ屋だということはないけれどスモールステップだ」ということは成り立たない fact11: もしその益性がカメラ屋であるということはないとするとこの交雑はスモールステップだ fact12: もし「その益性はスモールステップでないけれどそれは風味調味料である」ということは確かでないとすればこの交雑はカメラ屋である ; $hypothesis$ = この交雑はカメラ屋だ ; $proof$ = 
fact8 & fact3 -> int1: 「その益性はスモールステップでないが風味調味料だ」ということは偽だ; int1 & fact12 -> hypothesis; __PROVED__
事実1: 「その益性はスモールステップでないがカメラ屋である」ということは嘘である
事実2: もし仮に「その益性は風味調味料でない一方でカメラ屋である」ということは事実でないとすればこの交雑はスモールステップだ
事実3: もしも「北上する」ものはあるとしたら「その益性はスモールステップだということはないけれど風味調味料だ」ということは事実と異なる
事実4: 仮に「この交雑はスモールステップでないがしかしそれはカメラ屋だ」ということは成り立たないならその益性は風味調味料だ
事実5: 「この交雑はスモールステップでないがしかしそれはカメラ屋だ」ということは間違いである
事実6: もしも「「その益性はスモールステップでない一方でカメラ屋である」ということは成り立つ」ということは嘘であるならばこの交雑は風味調味料である
事実7: 「「風味調味料でない」ということは成り立たない」物はある
事実8: 「北上する」ものはある
事実9: もしとある物が北上すれば準備運動である
事実10: 「その益性はカメラ屋だということはないけれどスモールステップだ」ということは成り立たない
事実11: もしその益性がカメラ屋であるということはないとするとこの交雑はスモールステップだ
事実12: もし「その益性はスモールステップでないけれどそれは風味調味料である」ということは確かでないとすればこの交雑はカメラ屋である

仮説: この交雑はカメラ屋だ
1. 事実8と事実3から、推論1: "「その益性はスモールステップでないが風味調味料だ」ということは偽だ"が導かれる
2. 推論1と事実12から、仮説が導かれる

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