「その岩上はテキストツールであるけれど開館するということはない」ということは成り立たない
fact1: 仮に「「文筆活動でまたテキストツールである」ということは成り立たない」ものがあるとするとこの軍事顧問はテキストツールでない fact2: その営業部員は麻ちゃんだ fact3: 「「その岩上はテキストツールであるし開館する」ということは成り立つということはない」ということは嘘でない fact4: 「その岩上はフォンであるけれど浮遊端末でない」ということは正しくない fact5: フォンはある fact6: もし仮に「「フォンである」ということは真実である」物はあるとしたら「その岩上はテキストツールだがしかしそれは開館しない」ということは成り立たない fact7: もし何らかのものが麻ちゃんだが浅黒くないとすると折れ易い fact8: もしあの核家族がフォンでないならばあの岩上はテキストツールであるがしかし開館しない fact9: 何かはフォンであるなら「比すがしかし休息しない」ということは成り立たない fact10: 仮にあるものはオーダー出来ないとすれば「その岩上は文筆活動であるし更にそれはテキストツールだ」ということは成り立たない fact11: 文筆活動はオーダー出来ないかフォンであるということはないか両方ともだ fact12: 「その岩上は儚しが外来遺伝子でない」ということは間違いである fact13: 何かはフォンであるならば「その岩上がテキストツールだしさらに開館する」ということは真実でない fact14: 「その営業部員は深いけれど折れ易くない」ということは誤っている fact15: 仮になんらかのものはテキストツールでないとすると「それは開館しなくてフォンでない」ということは偽だ fact16: もしも何らかの物がオーダー出来ないかもしくはフォンでないならばフォンでない fact17: 仮に「何らかの物は開館しなくて更にフォンでない」ということは事実であるということはないとしたらそれはフォンである fact18: もしも「文筆活動である」物はあれば「その形態設計はフォンだけれど驕れない」ということは成り立たない fact19: その営業部員は浅黒くない
fact5 & fact6 -> hypothesis;
「この軍事顧問は比すがしかし休息しない」ということは間違いである
fact20 -> int1: もしこの軍事顧問はフォンだとすると「それは比すが休息しない」ということは正しくない; fact23 -> int2: もし仮に「この軍事顧問は開館しなくてまたフォンでない」ということは確かでないならフォンだ; fact22 -> int3: この軍事顧問はテキストツールでないとしたら「それは開館するということはないししかもフォンでない」ということは嘘である;
$facts$ = fact1: 仮に「「文筆活動でまたテキストツールである」ということは成り立たない」ものがあるとするとこの軍事顧問はテキストツールでない fact2: その営業部員は麻ちゃんだ fact3: 「「その岩上はテキストツールであるし開館する」ということは成り立つということはない」ということは嘘でない fact4: 「その岩上はフォンであるけれど浮遊端末でない」ということは正しくない fact5: フォンはある fact6: もし仮に「「フォンである」ということは真実である」物はあるとしたら「その岩上はテキストツールだがしかしそれは開館しない」ということは成り立たない fact7: もし何らかのものが麻ちゃんだが浅黒くないとすると折れ易い fact8: もしあの核家族がフォンでないならばあの岩上はテキストツールであるがしかし開館しない fact9: 何かはフォンであるなら「比すがしかし休息しない」ということは成り立たない fact10: 仮にあるものはオーダー出来ないとすれば「その岩上は文筆活動であるし更にそれはテキストツールだ」ということは成り立たない fact11: 文筆活動はオーダー出来ないかフォンであるということはないか両方ともだ fact12: 「その岩上は儚しが外来遺伝子でない」ということは間違いである fact13: 何かはフォンであるならば「その岩上がテキストツールだしさらに開館する」ということは真実でない fact14: 「その営業部員は深いけれど折れ易くない」ということは誤っている fact15: 仮になんらかのものはテキストツールでないとすると「それは開館しなくてフォンでない」ということは偽だ fact16: もしも何らかの物がオーダー出来ないかもしくはフォンでないならばフォンでない fact17: 仮に「何らかの物は開館しなくて更にフォンでない」ということは事実であるということはないとしたらそれはフォンである fact18: もしも「文筆活動である」物はあれば「その形態設計はフォンだけれど驕れない」ということは成り立たない fact19: その営業部員は浅黒くない ; $hypothesis$ = 「その岩上はテキストツールであるけれど開館するということはない」ということは成り立たない ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「「文筆活動でまたテキストツールである」ということは成り立たない」ものがあるとするとこの軍事顧問はテキストツールでない
事実2: その営業部員は麻ちゃんだ
事実3: 「「その岩上はテキストツールであるし開館する」ということは成り立つということはない」ということは嘘でない
事実4: 「その岩上はフォンであるけれど浮遊端末でない」ということは正しくない
事実5: フォンはある
事実6: もし仮に「「フォンである」ということは真実である」物はあるとしたら「その岩上はテキストツールだがしかしそれは開館しない」ということは成り立たない
事実7: もし何らかのものが麻ちゃんだが浅黒くないとすると折れ易い
事実8: もしあの核家族がフォンでないならばあの岩上はテキストツールであるがしかし開館しない
事実9: 何かはフォンであるなら「比すがしかし休息しない」ということは成り立たない
事実10: 仮にあるものはオーダー出来ないとすれば「その岩上は文筆活動であるし更にそれはテキストツールだ」ということは成り立たない
事実11: 文筆活動はオーダー出来ないかフォンであるということはないか両方ともだ
事実12: 「その岩上は儚しが外来遺伝子でない」ということは間違いである
事実13: 何かはフォンであるならば「その岩上がテキストツールだしさらに開館する」ということは真実でない
事実14: 「その営業部員は深いけれど折れ易くない」ということは誤っている
事実15: 仮になんらかのものはテキストツールでないとすると「それは開館しなくてフォンでない」ということは偽だ
事実16: もしも何らかの物がオーダー出来ないかもしくはフォンでないならばフォンでない
事実17: 仮に「何らかの物は開館しなくて更にフォンでない」ということは事実であるということはないとしたらそれはフォンである
事実18: もしも「文筆活動である」物はあれば「その形態設計はフォンだけれど驕れない」ということは成り立たない
事実19: その営業部員は浅黒くない

仮説: 「その岩上はテキストツールであるけれど開館するということはない」ということは成り立たない
1. 事実5と事実6から、仮説が導かれる

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