「「血肉化しないし共生社会である」ということは成り立たないとしたら吹き下ろさない」物はある
fact1: 「このサブクエリは血肉化しないけれど共生社会だ」ということは成り立たないとしたら吹き下ろさない fact2: 「酢酸でないとすると泳ぐということはない」物はある fact3: 「仮に「「集結するということはないしおまけに遭難する」ということは確かである」ということは成り立たないならば外し易い」ものはある fact4: 「このサブクエリは皮肉っぽくないがしかし如此し」ということは本当でないとしたら巣・Ｅでない fact5: 「血肉化しないけれど共生社会だとしたら吹き下ろさない」ものはある fact6: 「もし夏らしいということはないとしたら耐え難くない」ものはある fact7: 「仮に泣き止まないとすると取れ難くない」ものはある fact8: 「もし「ウォリアーで加えて対潜戦だ」ということは間違いであるとすると働き掛けない」物はある fact9: 「「値するということはないけれど高邁である」ということは誤っているとしたらせっせっせである」物はある fact10: 「もし仮に「易しくないし如此し」ということは事実と異なるなら加速する」物はある fact11: もしも「あの順序付けは気高くないがしかし易しい」ということは間違っているとするとそれは自重しない fact12: もし「その胸焼けは血肉化するということはないがしかし泥臭い」ということは成り立たないならばそれは回り始めない fact13: 「なにがしかの物は格上でない一方でべた付き易い」ということは事実でないとしたら脱色しない fact14: 「もしも血肉化するとしたら吹き下ろさない」物はある fact15: 仮にこのサブクエリが血肉化するなら吹き下ろさない fact16: 「「もしも「「忘れ掛けるということはないけれどたどたどしい」ということは正しい」ということは成り立つということはないならＳウェルイングでない」物はある」ということは間違いであるということはない fact17: 「もしも「給付するし低下する」ということは間違いだとすると意思能力であるということはない」ものはある fact18: 「もし「馬鹿馬鹿しくてかつ閉じ籠もる」ということは成り立たないとすれば姦しくない」ものはある fact19: もしこのサブクエリは血肉化しないが共生社会であるとしたらそれは吹き下ろすということはない
fact1 -> hypothesis;
「「もしも「格上でないしその上べた付き易い」ということは嘘であるとすれば脱色しない」ものはある」ということは正しい
fact20 -> int1: 「あの神経反射は格上でないがしかしそれはべた付き易い」ということは偽であるならば脱色しない; int1 -> hypothesis;
$facts$ = fact1: 「このサブクエリは血肉化しないけれど共生社会だ」ということは成り立たないとしたら吹き下ろさない fact2: 「酢酸でないとすると泳ぐということはない」物はある fact3: 「仮に「「集結するということはないしおまけに遭難する」ということは確かである」ということは成り立たないならば外し易い」ものはある fact4: 「このサブクエリは皮肉っぽくないがしかし如此し」ということは本当でないとしたら巣・Ｅでない fact5: 「血肉化しないけれど共生社会だとしたら吹き下ろさない」ものはある fact6: 「もし夏らしいということはないとしたら耐え難くない」ものはある fact7: 「仮に泣き止まないとすると取れ難くない」ものはある fact8: 「もし「ウォリアーで加えて対潜戦だ」ということは間違いであるとすると働き掛けない」物はある fact9: 「「値するということはないけれど高邁である」ということは誤っているとしたらせっせっせである」物はある fact10: 「もし仮に「易しくないし如此し」ということは事実と異なるなら加速する」物はある fact11: もしも「あの順序付けは気高くないがしかし易しい」ということは間違っているとするとそれは自重しない fact12: もし「その胸焼けは血肉化するということはないがしかし泥臭い」ということは成り立たないならばそれは回り始めない fact13: 「なにがしかの物は格上でない一方でべた付き易い」ということは事実でないとしたら脱色しない fact14: 「もしも血肉化するとしたら吹き下ろさない」物はある fact15: 仮にこのサブクエリが血肉化するなら吹き下ろさない fact16: 「「もしも「「忘れ掛けるということはないけれどたどたどしい」ということは正しい」ということは成り立つということはないならＳウェルイングでない」物はある」ということは間違いであるということはない fact17: 「もしも「給付するし低下する」ということは間違いだとすると意思能力であるということはない」ものはある fact18: 「もし「馬鹿馬鹿しくてかつ閉じ籠もる」ということは成り立たないとすれば姦しくない」ものはある fact19: もしこのサブクエリは血肉化しないが共生社会であるとしたらそれは吹き下ろすということはない ; $hypothesis$ = 「「血肉化しないし共生社会である」ということは成り立たないとしたら吹き下ろさない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「このサブクエリは血肉化しないけれど共生社会だ」ということは成り立たないとしたら吹き下ろさない
事実2: 「酢酸でないとすると泳ぐということはない」物はある
事実3: 「仮に「「集結するということはないしおまけに遭難する」ということは確かである」ということは成り立たないならば外し易い」ものはある
事実4: 「このサブクエリは皮肉っぽくないがしかし如此し」ということは本当でないとしたら巣・Ｅでない
事実5: 「血肉化しないけれど共生社会だとしたら吹き下ろさない」ものはある
事実6: 「もし夏らしいということはないとしたら耐え難くない」ものはある
事実7: 「仮に泣き止まないとすると取れ難くない」ものはある
事実8: 「もし「ウォリアーで加えて対潜戦だ」ということは間違いであるとすると働き掛けない」物はある
事実9: 「「値するということはないけれど高邁である」ということは誤っているとしたらせっせっせである」物はある
事実10: 「もし仮に「易しくないし如此し」ということは事実と異なるなら加速する」物はある
事実11: もしも「あの順序付けは気高くないがしかし易しい」ということは間違っているとするとそれは自重しない
事実12: もし「その胸焼けは血肉化するということはないがしかし泥臭い」ということは成り立たないならばそれは回り始めない
事実13: 「なにがしかの物は格上でない一方でべた付き易い」ということは事実でないとしたら脱色しない
事実14: 「もしも血肉化するとしたら吹き下ろさない」物はある
事実15: 仮にこのサブクエリが血肉化するなら吹き下ろさない
事実16: 「「もしも「「忘れ掛けるということはないけれどたどたどしい」ということは正しい」ということは成り立つということはないならＳウェルイングでない」物はある」ということは間違いであるということはない
事実17: 「もしも「給付するし低下する」ということは間違いだとすると意思能力であるということはない」ものはある
事実18: 「もし「馬鹿馬鹿しくてかつ閉じ籠もる」ということは成り立たないとすれば姦しくない」ものはある
事実19: もしこのサブクエリは血肉化しないが共生社会であるとしたらそれは吹き下ろすということはない

仮説: 「「血肉化しないし共生社会である」ということは成り立たないとしたら吹き下ろさない」物はある
1. 事実1から、仮説が導かれる

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