「仮に「掻き消さないが障害時である」ということは偽だとすると「賢しい」ということは正しい」物はある
fact1: 「「傾聴すしそれに安んずる」ということは偽だとすればスポーツ紙である」ものはある fact2: 「部品γでないとすれば膨満感である」物はある fact3: もしもあのフットライトは掻き消さないがしかし障害時だとすれば「それは賢しい」ということは確かだ fact4: 「あのフットライトは掻き消さないがしかし障害時だ」ということは間違いであるなら賢しい fact5: 「四十六人であるとすると膨満感である」ものはある fact6: もしも「「何らかのものは発揮し難くないけど小暗い」ということは確かだ」ということは成り立たないなら所らしい fact7: もし仮にあのフットライトが揺さぶるとしたら賢しい fact8: もしあのフットライトが掻き消すならそれは賢しい fact9: 「もし胃洗浄でなくてまた権謀術数だとしたら美術館な」物はある fact10: もしもあのフットライトが思しくないがしかしそれが如此しとすれば黒っぽい fact11: もし仮に「なにがしかの物は標本化でないがしかし日清・日露戦争後である」ということは事実と異なるとするとそれは照らす
fact4 -> hypothesis;
「もしも「発揮し難くないしまた小暗い」ということは成り立たないならば所らしい」ものはある
fact12 -> int1: 「その普賢岳は発揮し難くない一方でそれは小暗い」ということは間違いであるならそれは所らしい; int1 -> hypothesis;
$facts$ = fact1: 「「傾聴すしそれに安んずる」ということは偽だとすればスポーツ紙である」ものはある fact2: 「部品γでないとすれば膨満感である」物はある fact3: もしもあのフットライトは掻き消さないがしかし障害時だとすれば「それは賢しい」ということは確かだ fact4: 「あのフットライトは掻き消さないがしかし障害時だ」ということは間違いであるなら賢しい fact5: 「四十六人であるとすると膨満感である」ものはある fact6: もしも「「何らかのものは発揮し難くないけど小暗い」ということは確かだ」ということは成り立たないなら所らしい fact7: もし仮にあのフットライトが揺さぶるとしたら賢しい fact8: もしあのフットライトが掻き消すならそれは賢しい fact9: 「もし胃洗浄でなくてまた権謀術数だとしたら美術館な」物はある fact10: もしもあのフットライトが思しくないがしかしそれが如此しとすれば黒っぽい fact11: もし仮に「なにがしかの物は標本化でないがしかし日清・日露戦争後である」ということは事実と異なるとするとそれは照らす ; $hypothesis$ = 「仮に「掻き消さないが障害時である」ということは偽だとすると「賢しい」ということは正しい」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「傾聴すしそれに安んずる」ということは偽だとすればスポーツ紙である」ものはある
事実2: 「部品γでないとすれば膨満感である」物はある
事実3: もしもあのフットライトは掻き消さないがしかし障害時だとすれば「それは賢しい」ということは確かだ
事実4: 「あのフットライトは掻き消さないがしかし障害時だ」ということは間違いであるなら賢しい
事実5: 「四十六人であるとすると膨満感である」ものはある
事実6: もしも「「何らかのものは発揮し難くないけど小暗い」ということは確かだ」ということは成り立たないなら所らしい
事実7: もし仮にあのフットライトが揺さぶるとしたら賢しい
事実8: もしあのフットライトが掻き消すならそれは賢しい
事実9: 「もし胃洗浄でなくてまた権謀術数だとしたら美術館な」物はある
事実10: もしもあのフットライトが思しくないがしかしそれが如此しとすれば黒っぽい
事実11: もし仮に「なにがしかの物は標本化でないがしかし日清・日露戦争後である」ということは事実と異なるとするとそれは照らす

仮説: 「仮に「掻き消さないが障害時である」ということは偽だとすると「賢しい」ということは正しい」物はある
1. 事実4から、仮説が導かれる

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