そのスペルベルはせせこましいということはない
fact1: もしその生活領域はアンティークだということはないとしたら「せせこましくないし更に憎まない」ということは成り立たない fact2: 「アンティークでない」物はある fact3: もし仮に「なにがしかの物が憎むしその上それは反芻動物だ」ということは成り立てばせせこましくない fact4: 仮に何かは憎まないとするとそのスペルベルは清いしまた母親らしい fact5: もし仮に「アンティークであるということはない」ものがあるとしたらそのスペルベルは反芻動物だ fact6: 「アンティークな」ものはある fact7: とあるものは眼球だということはない fact8: もしも「なにがしかのものが反芻動物だけど生み難くない」ということは成り立つということはないならばそれはアンティークだということはない fact9: 仮に「その生活領域はせせこましい」ということは正しいとすればそのスペルベルはせせこましい fact10: そのスペルベルがアンティークだし更にそれはめんど臭い fact11: 「倒立混合しない」ものはある fact12: もしもあの家名がせせこましいならアンティークだ fact13: 「手早くない」物はある fact14: そのＡＩＪは歩き掛けるしさらに一文橋だ fact15: 「そのスペルベルは反芻動物である」ということは成り立つ fact16: なにがしかのものは慕わしくない fact17: 仮に何らかの物は分け合うしさらに入れ難いとするとストラトキャスターでない fact18: もしも「あのチェンバロはふやかすし加えてせせこましい」ということは確かだとしたら一文橋でない fact19: 仮にあの家名はアンティークだけれど反芻動物でないならば憎む fact20: あの家名は手早いしまた納得し難い fact21: 言い辛い物が乗り入れならそれは怖ーくない fact22: 仮に「何らかのものは憎まない」ということは正しいとしたらアンティークであるし更にそれはせせこましい fact23: 「アンティークでない」ものはあるなら「そのスペルベルは憎むししかもそれは反芻動物だ」ということは偽であるということはない
fact2 & fact23 -> int1: そのスペルベルは憎むし反芻動物だ; fact3 -> int2: 仮にそのスペルベルは憎むし反芻動物だとしたらせせこましくない; int1 & int2 -> hypothesis;
そのスペルベルはせせこましい
fact24 -> int3: もしそのスペルベルが憎まないとしたらアンティークで加えてそれはせせこましい;
$facts$ = fact1: もしその生活領域はアンティークだということはないとしたら「せせこましくないし更に憎まない」ということは成り立たない fact2: 「アンティークでない」物はある fact3: もし仮に「なにがしかの物が憎むしその上それは反芻動物だ」ということは成り立てばせせこましくない fact4: 仮に何かは憎まないとするとそのスペルベルは清いしまた母親らしい fact5: もし仮に「アンティークであるということはない」ものがあるとしたらそのスペルベルは反芻動物だ fact6: 「アンティークな」ものはある fact7: とあるものは眼球だということはない fact8: もしも「なにがしかのものが反芻動物だけど生み難くない」ということは成り立つということはないならばそれはアンティークだということはない fact9: 仮に「その生活領域はせせこましい」ということは正しいとすればそのスペルベルはせせこましい fact10: そのスペルベルがアンティークだし更にそれはめんど臭い fact11: 「倒立混合しない」ものはある fact12: もしもあの家名がせせこましいならアンティークだ fact13: 「手早くない」物はある fact14: そのＡＩＪは歩き掛けるしさらに一文橋だ fact15: 「そのスペルベルは反芻動物である」ということは成り立つ fact16: なにがしかのものは慕わしくない fact17: 仮に何らかの物は分け合うしさらに入れ難いとするとストラトキャスターでない fact18: もしも「あのチェンバロはふやかすし加えてせせこましい」ということは確かだとしたら一文橋でない fact19: 仮にあの家名はアンティークだけれど反芻動物でないならば憎む fact20: あの家名は手早いしまた納得し難い fact21: 言い辛い物が乗り入れならそれは怖ーくない fact22: 仮に「何らかのものは憎まない」ということは正しいとしたらアンティークであるし更にそれはせせこましい fact23: 「アンティークでない」ものはあるなら「そのスペルベルは憎むししかもそれは反芻動物だ」ということは偽であるということはない ; $hypothesis$ = そのスペルベルはせせこましいということはない ; $proof$ = 
fact2 & fact23 -> int1: そのスペルベルは憎むし反芻動物だ; fact3 -> int2: 仮にそのスペルベルは憎むし反芻動物だとしたらせせこましくない; int1 & int2 -> 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: 「アンティークでない」ものはあるなら「そのスペルベルは憎むししかもそれは反芻動物だ」ということは偽であるということはない

仮説: そのスペルベルはせせこましいということはない
1. 事実2と事実23から、推論1: "そのスペルベルは憎むし反芻動物だ"が導かれる
2. 事実3から、推論2: "仮にそのスペルベルは憎むし反芻動物だとしたらせせこましくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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