「その大企業はシルバーであるし硫煙だ」ということは成り立たない
fact1: もし仮に「その大企業は付き難いけど横着しない」ということは成り立たないとしたら外し易くない fact2: もし仮にこのＴＣＡが硫煙だ一方で襲い掛からないとすればその大企業は硫煙である fact3: なにがしかのものが両生類でないかそれは外し易いかあるいは両方ともであるとするとシルバーである fact4: その補助記憶装置は所らしくない fact5: もし仮にその松方が積分時間間隔であるとすると襲い掛かるし加えてそれは挑戦出来ない fact6: 「このＴＣＡは両生類でない」ということは正しい fact7: もしとあるものが所らしくないとするとそれは両生類でないかまたは外し易いかどちらもだ fact8: 「その大企業は黄色いけどそれは生き易くない」ということは事実と異なる fact9: このＴＣＡは下せらない fact10: 仮にある物が下せらないとすると難破する一方で争奪しない fact11: その大企業が所らしくないならば両生類でない fact12: 「「頼り無いし抵抗Ｒである」ということは嘘な」物はある fact13: 仮になにかは難破するとしたら「それは繁殖し易くないしそれは生ビールだ」ということは成り立たない fact14: 仮にこのシステムレベルが所らしくないしかつ工業都市でないならばあの大企業は所らしくない fact15: 「その大企業は付き難いけれど横着するということはない」ということは成り立たない fact16: 「もし「「その大企業は繁殖し易くないけど所らしい」ということは成り立つ」ということは誤っているとすればその大企業は両生類でない」ということは確かである fact17: もしも「なんらかの物は繁殖し易くないがしかし生ビールだ」ということは誤っているとすれば「硫煙だ」ということは成り立つ fact18: 仮にあのシン達が積分時間間隔だとすればその松方は積分時間間隔である fact19: 「仮になにかは両生類でないとすれば「外し易いがシルバーでない」ということは成り立たない」ということは正しい fact20: 「その大企業は繁殖し易いということはないがしかし所らしい」ということは成り立たない fact21: もしもその松方が襲い掛かるけれど挑戦出来ないならばあのＴＣＡは襲い掛からない fact22: ある物は襲い掛からないとすれば「シルバーであるしそれは硫煙だ」ということは偽である fact23: 「「何かは飲み終わらないけれどそれは提示す」ということは間違っているなら硫煙でない」ということは事実である fact24: 仮に「その大企業は付き難いということはない」ということは成り立つならそれは外し易くない fact25: もし仮になにかは手厳しくないとしたら所らしくないしそれは工業都市でない fact26: 仮にとあるものは両生類であるということはないとすると「それは襲い掛かるし更に外し易くない」ということは嘘だ
fact1 & fact15 -> int1: その大企業は外し易くない; void -> assump1: 以下のように仮定する。その大企業は襲い掛かる; int1 & assump1 -> int2: その大企業は襲い掛かるけど外し易くない; fact26 -> int3: もし仮にその大企業は両生類でないならば「襲い掛かるしまた外し易いということはない」ということは成り立たない; fact16 & fact20 -> int4: その大企業は両生類でない; int3 & int4 -> int5: 「その大企業は襲い掛かる一方でそれは外し易くない」ということは成り立つということはない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その大企業は襲い掛からない; fact22 -> int8: 仮にその大企業は襲い掛かるということはないなら「それはシルバーであるし加えてそれは硫煙だ」ということは成り立たない; int7 & int8 -> hypothesis;
もしも「この住居跡は飲み終わらない一方で提示す」ということは間違いであるとすればそれは硫煙でない
fact27 -> hypothesis;
$facts$ = fact1: もし仮に「その大企業は付き難いけど横着しない」ということは成り立たないとしたら外し易くない fact2: もし仮にこのＴＣＡが硫煙だ一方で襲い掛からないとすればその大企業は硫煙である fact3: なにがしかのものが両生類でないかそれは外し易いかあるいは両方ともであるとするとシルバーである fact4: その補助記憶装置は所らしくない fact5: もし仮にその松方が積分時間間隔であるとすると襲い掛かるし加えてそれは挑戦出来ない fact6: 「このＴＣＡは両生類でない」ということは正しい fact7: もしとあるものが所らしくないとするとそれは両生類でないかまたは外し易いかどちらもだ fact8: 「その大企業は黄色いけどそれは生き易くない」ということは事実と異なる fact9: このＴＣＡは下せらない fact10: 仮にある物が下せらないとすると難破する一方で争奪しない fact11: その大企業が所らしくないならば両生類でない fact12: 「「頼り無いし抵抗Ｒである」ということは嘘な」物はある fact13: 仮になにかは難破するとしたら「それは繁殖し易くないしそれは生ビールだ」ということは成り立たない fact14: 仮にこのシステムレベルが所らしくないしかつ工業都市でないならばあの大企業は所らしくない fact15: 「その大企業は付き難いけれど横着するということはない」ということは成り立たない fact16: 「もし「「その大企業は繁殖し易くないけど所らしい」ということは成り立つ」ということは誤っているとすればその大企業は両生類でない」ということは確かである fact17: もしも「なんらかの物は繁殖し易くないがしかし生ビールだ」ということは誤っているとすれば「硫煙だ」ということは成り立つ fact18: 仮にあのシン達が積分時間間隔だとすればその松方は積分時間間隔である fact19: 「仮になにかは両生類でないとすれば「外し易いがシルバーでない」ということは成り立たない」ということは正しい fact20: 「その大企業は繁殖し易いということはないがしかし所らしい」ということは成り立たない fact21: もしもその松方が襲い掛かるけれど挑戦出来ないならばあのＴＣＡは襲い掛からない fact22: ある物は襲い掛からないとすれば「シルバーであるしそれは硫煙だ」ということは偽である fact23: 「「何かは飲み終わらないけれどそれは提示す」ということは間違っているなら硫煙でない」ということは事実である fact24: 仮に「その大企業は付き難いということはない」ということは成り立つならそれは外し易くない fact25: もし仮になにかは手厳しくないとしたら所らしくないしそれは工業都市でない fact26: 仮にとあるものは両生類であるということはないとすると「それは襲い掛かるし更に外し易くない」ということは嘘だ ; $hypothesis$ = 「その大企業はシルバーであるし硫煙だ」ということは成り立たない ; $proof$ = 
fact1 & fact15 -> int1: その大企業は外し易くない; void -> assump1: 以下のように仮定する。その大企業は襲い掛かる; int1 & assump1 -> int2: その大企業は襲い掛かるけど外し易くない; fact26 -> int3: もし仮にその大企業は両生類でないならば「襲い掛かるしまた外し易いということはない」ということは成り立たない; fact16 & fact20 -> int4: その大企業は両生類でない; int3 & int4 -> int5: 「その大企業は襲い掛かる一方でそれは外し易くない」ということは成り立つということはない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その大企業は襲い掛からない; fact22 -> int8: 仮にその大企業は襲い掛かるということはないなら「それはシルバーであるし加えてそれは硫煙だ」ということは成り立たない; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮に「その大企業は付き難いけど横着しない」ということは成り立たないとしたら外し易くない
事実2: もし仮にこのＴＣＡが硫煙だ一方で襲い掛からないとすればその大企業は硫煙である
事実3: なにがしかのものが両生類でないかそれは外し易いかあるいは両方ともであるとするとシルバーである
事実4: その補助記憶装置は所らしくない
事実5: もし仮にその松方が積分時間間隔であるとすると襲い掛かるし加えてそれは挑戦出来ない
事実6: 「このＴＣＡは両生類でない」ということは正しい
事実7: もしとあるものが所らしくないとするとそれは両生類でないかまたは外し易いかどちらもだ
事実8: 「その大企業は黄色いけどそれは生き易くない」ということは事実と異なる
事実9: このＴＣＡは下せらない
事実10: 仮にある物が下せらないとすると難破する一方で争奪しない
事実11: その大企業が所らしくないならば両生類でない
事実12: 「「頼り無いし抵抗Ｒである」ということは嘘な」物はある
事実13: 仮になにかは難破するとしたら「それは繁殖し易くないしそれは生ビールだ」ということは成り立たない
事実14: 仮にこのシステムレベルが所らしくないしかつ工業都市でないならばあの大企業は所らしくない
事実15: 「その大企業は付き難いけれど横着するということはない」ということは成り立たない
事実16: 「もし「「その大企業は繁殖し易くないけど所らしい」ということは成り立つ」ということは誤っているとすればその大企業は両生類でない」ということは確かである
事実17: もしも「なんらかの物は繁殖し易くないがしかし生ビールだ」ということは誤っているとすれば「硫煙だ」ということは成り立つ
事実18: 仮にあのシン達が積分時間間隔だとすればその松方は積分時間間隔である
事実19: 「仮になにかは両生類でないとすれば「外し易いがシルバーでない」ということは成り立たない」ということは正しい
事実20: 「その大企業は繁殖し易いということはないがしかし所らしい」ということは成り立たない
事実21: もしもその松方が襲い掛かるけれど挑戦出来ないならばあのＴＣＡは襲い掛からない
事実22: ある物は襲い掛からないとすれば「シルバーであるしそれは硫煙だ」ということは偽である
事実23: 「「何かは飲み終わらないけれどそれは提示す」ということは間違っているなら硫煙でない」ということは事実である
事実24: 仮に「その大企業は付き難いということはない」ということは成り立つならそれは外し易くない
事実25: もし仮になにかは手厳しくないとしたら所らしくないしそれは工業都市でない
事実26: 仮にとあるものは両生類であるということはないとすると「それは襲い掛かるし更に外し易くない」ということは嘘だ

仮説: 「その大企業はシルバーであるし硫煙だ」ということは成り立たない
1. 事実1と事実15から、推論1: "その大企業は外し易くない"が導かれる
2. 仮定1: 以下のように仮定する。その大企業は襲い掛かる
3. 推論1と仮定1から、推論2: "その大企業は襲い掛かるけど外し易くない"が導かれる
4. 事実26から、推論3: "もし仮にその大企業は両生類でないならば「襲い掛かるしまた外し易いということはない」ということは成り立たない"が導かれる
5. 事実16と事実20から、推論4: "その大企業は両生類でない"が導かれる
6. 推論3と推論4から、推論5: "「その大企業は襲い掛かる一方でそれは外し易くない」ということは成り立つということはない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その大企業は襲い掛からない"が導かれる
9. 事実22から、推論8: "仮にその大企業は襲い掛かるということはないなら「それはシルバーであるし加えてそれは硫煙だ」ということは成り立たない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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