あの正面像は恨めしくない
fact1: 「あの所は化石化するしそれは人らしい」ということは間違いである fact2: あの所は大差無くない fact3: もしあのリベラータは喋り難くないならば「その町角Ｑ＆Ａは忘れっぽくないがしかしそれは齎し易い」ということは真実でない fact4: 仮に「なにがしかのものは化石化するし人らしい」ということは正しくないとすれば仰がない fact5: あの所が齎し易いということはないならばあの町角Ｑ＆Ａは齎し易くないしまたそれは人らしくない fact6: 何かは三民主義でないけれど仄白い fact7: もしも「「忘れっぽくないが齎し易い」ということは偽な」ものはあるなら「あの正面像は恨めしい」ということは事実と異なるということはない fact8: 仮にあのリベラータが仰がなくてまた更改でないとすればそれは喋り難くない fact9: その町角Ｑ＆Ａは忘れっぽいということはなくて化石化しない fact10: あの一部カットは暗しということはなくてそれは仰がない fact11: もしも「齎し易い」物があるとすればその町角Ｑ＆Ａは喋り難い fact12: 「「その町角Ｑ＆Ａは言いそびれるし齎し易い」ということは本当である」ということは偽である fact13: 仮にあの所が仰がないならあのリベラータは仰ぐということはないし加えてそれは更改でない fact14: 仮になにかは博徒でないならば「それは加筆しない」ということは成り立つ fact15: このデータ投入は上告しなくて関わり合いでない fact16: なんらかの物は点滴静注しないが水中糸である fact17: もしあのリベラータが仰がないとするとあの所は更改でない
fact4 -> int1: もしも「「あの所は化石化するししかも人らしい」ということは本当だ」ということは誤りであるならそれは仰ぐということはない; int1 & fact1 -> int2: あの所は仰がない; int2 & fact13 -> int3: あのリベラータは仰がなくてそれは更改でない; int3 & fact8 -> int4: あのリベラータは喋り難くない; int4 & fact3 -> int5: 「その町角Ｑ＆Ａは忘れっぽくないけどそれは齎し易い」ということは成り立つということはない; int5 -> int6: 「「忘れっぽくないけれど齎し易い」ということは成り立たない」ものはある; int6 & fact7 -> hypothesis;
$facts$ = fact1: 「あの所は化石化するしそれは人らしい」ということは間違いである fact2: あの所は大差無くない fact3: もしあのリベラータは喋り難くないならば「その町角Ｑ＆Ａは忘れっぽくないがしかしそれは齎し易い」ということは真実でない fact4: 仮に「なにがしかのものは化石化するし人らしい」ということは正しくないとすれば仰がない fact5: あの所が齎し易いということはないならばあの町角Ｑ＆Ａは齎し易くないしまたそれは人らしくない fact6: 何かは三民主義でないけれど仄白い fact7: もしも「「忘れっぽくないが齎し易い」ということは偽な」ものはあるなら「あの正面像は恨めしい」ということは事実と異なるということはない fact8: 仮にあのリベラータが仰がなくてまた更改でないとすればそれは喋り難くない fact9: その町角Ｑ＆Ａは忘れっぽいということはなくて化石化しない fact10: あの一部カットは暗しということはなくてそれは仰がない fact11: もしも「齎し易い」物があるとすればその町角Ｑ＆Ａは喋り難い fact12: 「「その町角Ｑ＆Ａは言いそびれるし齎し易い」ということは本当である」ということは偽である fact13: 仮にあの所が仰がないならあのリベラータは仰ぐということはないし加えてそれは更改でない fact14: 仮になにかは博徒でないならば「それは加筆しない」ということは成り立つ fact15: このデータ投入は上告しなくて関わり合いでない fact16: なんらかの物は点滴静注しないが水中糸である fact17: もしあのリベラータが仰がないとするとあの所は更改でない ; $hypothesis$ = あの正面像は恨めしくない ; $proof$ = 
fact4 -> int1: もしも「「あの所は化石化するししかも人らしい」ということは本当だ」ということは誤りであるならそれは仰ぐということはない; int1 & fact1 -> int2: あの所は仰がない; int2 & fact13 -> int3: あのリベラータは仰がなくてそれは更改でない; int3 & fact8 -> int4: あのリベラータは喋り難くない; int4 & fact3 -> int5: 「その町角Ｑ＆Ａは忘れっぽくないけどそれは齎し易い」ということは成り立つということはない; int5 -> int6: 「「忘れっぽくないけれど齎し易い」ということは成り立たない」ものはある; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あの所は化石化するしそれは人らしい」ということは間違いである
事実2: あの所は大差無くない
事実3: もしあのリベラータは喋り難くないならば「その町角Ｑ＆Ａは忘れっぽくないがしかしそれは齎し易い」ということは真実でない
事実4: 仮に「なにがしかのものは化石化するし人らしい」ということは正しくないとすれば仰がない
事実5: あの所が齎し易いということはないならばあの町角Ｑ＆Ａは齎し易くないしまたそれは人らしくない
事実6: 何かは三民主義でないけれど仄白い
事実7: もしも「「忘れっぽくないが齎し易い」ということは偽な」ものはあるなら「あの正面像は恨めしい」ということは事実と異なるということはない
事実8: 仮にあのリベラータが仰がなくてまた更改でないとすればそれは喋り難くない
事実9: その町角Ｑ＆Ａは忘れっぽいということはなくて化石化しない
事実10: あの一部カットは暗しということはなくてそれは仰がない
事実11: もしも「齎し易い」物があるとすればその町角Ｑ＆Ａは喋り難い
事実12: 「「その町角Ｑ＆Ａは言いそびれるし齎し易い」ということは本当である」ということは偽である
事実13: 仮にあの所が仰がないならあのリベラータは仰ぐということはないし加えてそれは更改でない
事実14: 仮になにかは博徒でないならば「それは加筆しない」ということは成り立つ
事実15: このデータ投入は上告しなくて関わり合いでない
事実16: なんらかの物は点滴静注しないが水中糸である
事実17: もしあのリベラータが仰がないとするとあの所は更改でない

仮説: あの正面像は恨めしくない
1. 事実4から、推論1: "もしも「「あの所は化石化するししかも人らしい」ということは本当だ」ということは誤りであるならそれは仰ぐということはない"が導かれる
2. 推論1と事実1から、推論2: "あの所は仰がない"が導かれる
3. 推論2と事実13から、推論3: "あのリベラータは仰がなくてそれは更改でない"が導かれる
4. 推論3と事実8から、推論4: "あのリベラータは喋り難くない"が導かれる
5. 推論4と事実3から、推論5: "「その町角Ｑ＆Ａは忘れっぽくないけどそれは齎し易い」ということは成り立つということはない"が導かれる
6. 推論5から、推論6: "「「忘れっぽくないけれど齎し易い」ということは成り立たない」ものはある"が導かれる
7. 推論6と事実7から、仮説が否定される

よって、仮説が否定されました。