そのテルモスはカメラ・ムーブメントでない
fact1: もしこの公的活動が爆炎だが追い剥ぎしないならこの第一次日本留学ブームは追い剥ぎする fact2: 仮にこの第一次日本留学ブームは参学するなら「あのＯ型は追い剥ぎするけれど命令系統でない」ということは成り立たない fact3: もし「この商品説明はカメラ・ムーブメントでなくておまけに広しない」ということは間違いであるならば五番人気以下でない fact4: 「あのＯ型は参学する」ということは真実である fact5: 「そのアッパーは参学する」ということは真実である fact6: もし仮にこの公的活動がプレビューするとするとこの商品説明は追い剥ぎしない fact7: 仮に「この商品説明はプレビューしないけどそれは五番人気以下だ」ということは偽であるとすればそのテルモスはカメラ・ムーブメントでない fact8: この第一次日本留学ブームはプレビューしないならば「「この商品説明はプレビューしないけれど五番人気以下だ」ということは真実である」ということは本当でない fact9: あのＯ型は参学するとすれば「マスコミ関係者でないし傾き易くない」ということは誤りだ fact10: 仮になにがしかのものは追い剥ぎしないとしたら「参学するししかも命令系統である」ということは偽である fact11: もしもこの第一次日本留学ブームは追い剥ぎするがしかし命令系統でないならそれはプレビューしない fact12: もし仮にこの商品説明がプレビューするしおまけに参学するならあのＯ型は参学する fact13: もし仮に何らかのものがプレビューする一方で五番人気以下でないとすれば追い剥ぎしない fact14: この公的活動は爆炎である一方で追い剥ぎしない fact15: もしも「あのＯ型はマスコミ関係者でなくて傾き易いということはない」ということは間違っているならこの第一次日本留学ブームは命令系統であるということはない fact16: もしあのＯ型がプレビューするけれど参学しないとすればこの商品説明は参学する
fact9 & fact4 -> int1: 「あのＯ型はマスコミ関係者でなくてかつ傾き易いということはない」ということは嘘である; int1 & fact15 -> int2: この第一次日本留学ブームは命令系統だということはない; fact14 & fact1 -> int3: この第一次日本留学ブームは追い剥ぎする; int2 & int3 -> int4: この第一次日本留学ブームは追い剥ぎするけれどそれは命令系統でない; int4 & fact11 -> int5: 「この第一次日本留学ブームはプレビューしない」ということは成り立つ; int5 & fact8 -> int6: 「この商品説明はプレビューしないけど五番人気以下だ」ということは偽である; int6 & fact7 -> hypothesis;
あのコデインは追い剥ぎしない
$facts$ = fact1: もしこの公的活動が爆炎だが追い剥ぎしないならこの第一次日本留学ブームは追い剥ぎする fact2: 仮にこの第一次日本留学ブームは参学するなら「あのＯ型は追い剥ぎするけれど命令系統でない」ということは成り立たない fact3: もし「この商品説明はカメラ・ムーブメントでなくておまけに広しない」ということは間違いであるならば五番人気以下でない fact4: 「あのＯ型は参学する」ということは真実である fact5: 「そのアッパーは参学する」ということは真実である fact6: もし仮にこの公的活動がプレビューするとするとこの商品説明は追い剥ぎしない fact7: 仮に「この商品説明はプレビューしないけどそれは五番人気以下だ」ということは偽であるとすればそのテルモスはカメラ・ムーブメントでない fact8: この第一次日本留学ブームはプレビューしないならば「「この商品説明はプレビューしないけれど五番人気以下だ」ということは真実である」ということは本当でない fact9: あのＯ型は参学するとすれば「マスコミ関係者でないし傾き易くない」ということは誤りだ fact10: 仮になにがしかのものは追い剥ぎしないとしたら「参学するししかも命令系統である」ということは偽である fact11: もしもこの第一次日本留学ブームは追い剥ぎするがしかし命令系統でないならそれはプレビューしない fact12: もし仮にこの商品説明がプレビューするしおまけに参学するならあのＯ型は参学する fact13: もし仮に何らかのものがプレビューする一方で五番人気以下でないとすれば追い剥ぎしない fact14: この公的活動は爆炎である一方で追い剥ぎしない fact15: もしも「あのＯ型はマスコミ関係者でなくて傾き易いということはない」ということは間違っているならこの第一次日本留学ブームは命令系統であるということはない fact16: もしあのＯ型がプレビューするけれど参学しないとすればこの商品説明は参学する ; $hypothesis$ = そのテルモスはカメラ・ムーブメントでない ; $proof$ = 
fact9 & fact4 -> int1: 「あのＯ型はマスコミ関係者でなくてかつ傾き易いということはない」ということは嘘である; int1 & fact15 -> int2: この第一次日本留学ブームは命令系統だということはない; fact14 & fact1 -> int3: この第一次日本留学ブームは追い剥ぎする; int2 & int3 -> int4: この第一次日本留学ブームは追い剥ぎするけれどそれは命令系統でない; int4 & fact11 -> int5: 「この第一次日本留学ブームはプレビューしない」ということは成り立つ; int5 & fact8 -> int6: 「この商品説明はプレビューしないけど五番人気以下だ」ということは偽である; int6 & fact7 -> hypothesis; __PROVED__
事実1: もしこの公的活動が爆炎だが追い剥ぎしないならこの第一次日本留学ブームは追い剥ぎする
事実2: 仮にこの第一次日本留学ブームは参学するなら「あのＯ型は追い剥ぎするけれど命令系統でない」ということは成り立たない
事実3: もし「この商品説明はカメラ・ムーブメントでなくておまけに広しない」ということは間違いであるならば五番人気以下でない
事実4: 「あのＯ型は参学する」ということは真実である
事実5: 「そのアッパーは参学する」ということは真実である
事実6: もし仮にこの公的活動がプレビューするとするとこの商品説明は追い剥ぎしない
事実7: 仮に「この商品説明はプレビューしないけどそれは五番人気以下だ」ということは偽であるとすればそのテルモスはカメラ・ムーブメントでない
事実8: この第一次日本留学ブームはプレビューしないならば「「この商品説明はプレビューしないけれど五番人気以下だ」ということは真実である」ということは本当でない
事実9: あのＯ型は参学するとすれば「マスコミ関係者でないし傾き易くない」ということは誤りだ
事実10: 仮になにがしかのものは追い剥ぎしないとしたら「参学するししかも命令系統である」ということは偽である
事実11: もしもこの第一次日本留学ブームは追い剥ぎするがしかし命令系統でないならそれはプレビューしない
事実12: もし仮にこの商品説明がプレビューするしおまけに参学するならあのＯ型は参学する
事実13: もし仮に何らかのものがプレビューする一方で五番人気以下でないとすれば追い剥ぎしない
事実14: この公的活動は爆炎である一方で追い剥ぎしない
事実15: もしも「あのＯ型はマスコミ関係者でなくて傾き易いということはない」ということは間違っているならこの第一次日本留学ブームは命令系統であるということはない
事実16: もしあのＯ型がプレビューするけれど参学しないとすればこの商品説明は参学する

仮説: そのテルモスはカメラ・ムーブメントでない
1. 事実9と事実4から、推論1: "「あのＯ型はマスコミ関係者でなくてかつ傾き易いということはない」ということは嘘である"が導かれる
2. 推論1と事実15から、推論2: "この第一次日本留学ブームは命令系統だということはない"が導かれる
3. 事実14と事実1から、推論3: "この第一次日本留学ブームは追い剥ぎする"が導かれる
4. 推論2と推論3から、推論4: "この第一次日本留学ブームは追い剥ぎするけれどそれは命令系統でない"が導かれる
5. 推論4と事実11から、推論5: "「この第一次日本留学ブームはプレビューしない」ということは成り立つ"が導かれる
6. 推論5と事実8から、推論6: "「この商品説明はプレビューしないけど五番人気以下だ」ということは偽である"が導かれる
7. 推論6と事実7から、仮説が導かれる

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