「もし仮に酔っ払うということはないしその上行き掛けるということはないとしたらすごーくない」物はある
fact1: 仮に貧しくない物は圏外でないならばそれは電離放射線でない fact2: 「もしも代理しないし韓国軍でないなら宝庫でない」ものはある fact3: もしあの中華料理屋は背格好でなくてかつＭＡＴでないとすると「すごーくない」ということは確かである fact4: 「もし仮に揺るぎないけどプレミアムでないとしたら人身売買でない」物はある fact5: もし仮にこのＡ〜Ｚは水切りしないししかも溶け易くないとするとすごーくない fact6: 「仮に悔やむが本陣殺人事件でないとすれば歯痒いということはない」物はある fact7: あの中華料理屋は御頼みしない一方で酔っ払うとすればそれは遣り易いということはない fact8: 「もし由々しということはないししかも会社債権者でないなら白っぽい」物はある fact9: もしもあの中華料理屋が酔っ払わないしさらに行き掛けないとすればすごーくない fact10: 「上げ易くないけれど華々しいなら遅れ易くない」物はある fact11: この大機械は他成るけれどそれは行き掛けないとしたら御仕え申さない fact12: あの視床はすごーくないし加えて改称しないなら他成らない
fact9 -> hypothesis;
「もしも貧しくないししかも圏外でないとしたら電離放射線でない」物はある
fact13 -> int1: もしあの弊園が貧しくないしさらに圏外でないとすればそれは電離放射線でない; int1 -> hypothesis;
$facts$ = fact1: 仮に貧しくない物は圏外でないならばそれは電離放射線でない fact2: 「もしも代理しないし韓国軍でないなら宝庫でない」ものはある fact3: もしあの中華料理屋は背格好でなくてかつＭＡＴでないとすると「すごーくない」ということは確かである fact4: 「もし仮に揺るぎないけどプレミアムでないとしたら人身売買でない」物はある fact5: もし仮にこのＡ〜Ｚは水切りしないししかも溶け易くないとするとすごーくない fact6: 「仮に悔やむが本陣殺人事件でないとすれば歯痒いということはない」物はある fact7: あの中華料理屋は御頼みしない一方で酔っ払うとすればそれは遣り易いということはない fact8: 「もし由々しということはないししかも会社債権者でないなら白っぽい」物はある fact9: もしもあの中華料理屋が酔っ払わないしさらに行き掛けないとすればすごーくない fact10: 「上げ易くないけれど華々しいなら遅れ易くない」物はある fact11: この大機械は他成るけれどそれは行き掛けないとしたら御仕え申さない fact12: あの視床はすごーくないし加えて改称しないなら他成らない ; $hypothesis$ = 「もし仮に酔っ払うということはないしその上行き掛けるということはないとしたらすごーくない」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮に貧しくない物は圏外でないならばそれは電離放射線でない
事実2: 「もしも代理しないし韓国軍でないなら宝庫でない」ものはある
事実3: もしあの中華料理屋は背格好でなくてかつＭＡＴでないとすると「すごーくない」ということは確かである
事実4: 「もし仮に揺るぎないけどプレミアムでないとしたら人身売買でない」物はある
事実5: もし仮にこのＡ〜Ｚは水切りしないししかも溶け易くないとするとすごーくない
事実6: 「仮に悔やむが本陣殺人事件でないとすれば歯痒いということはない」物はある
事実7: あの中華料理屋は御頼みしない一方で酔っ払うとすればそれは遣り易いということはない
事実8: 「もし由々しということはないししかも会社債権者でないなら白っぽい」物はある
事実9: もしもあの中華料理屋が酔っ払わないしさらに行き掛けないとすればすごーくない
事実10: 「上げ易くないけれど華々しいなら遅れ易くない」物はある
事実11: この大機械は他成るけれどそれは行き掛けないとしたら御仕え申さない
事実12: あの視床はすごーくないし加えて改称しないなら他成らない

仮説: 「もし仮に酔っ払うということはないしその上行き掛けるということはないとしたらすごーくない」物はある
1. 事実9から、仮説が導かれる

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