あの賃借権抵当は物寂しいかもしくはそれは女軍だ
fact1: 「この発行済み株式数はきもいが物寂しくない」ということは事実と異なるならその漁業は物寂しくない fact2: あの賃借権抵当は物寂しい fact3: もし「何らかの物はきもくない」ということは間違いでないなら「物寂しいかあるいは女軍であるかあるいは両方ともである」ということは偽だ fact4: もし「その漁業は物寂しくない」ということは正しいならば「あの賃借権抵当はロジャース流でないけど女軍である」ということは嘘である fact5: 弛い物は心憎い fact6: もし仮に「その送り状は心憎い」ということは本当であるとすれば「この発行済み株式数はきもいけどそれは物寂しいということはない」ということは嘘だ fact7: もし仮に「何らかのものはロジャース流でないけれどそれは女軍だ」ということは本当でないならばそれはロジャース流である fact8: この濡れ手拭いはベースボールであるかまたは推し量れる
fact2 -> hypothesis;
「あの賃借権抵当は物寂しいかあるいは女軍であるかまたはどちらもだ」ということは成り立たない
fact9 -> int1: もしあの賃借権抵当はきもいということはないとすると「それは物寂しいかそれは女軍であるか両方ともである」ということは確かでない;
$facts$ = fact1: 「この発行済み株式数はきもいが物寂しくない」ということは事実と異なるならその漁業は物寂しくない fact2: あの賃借権抵当は物寂しい fact3: もし「何らかの物はきもくない」ということは間違いでないなら「物寂しいかあるいは女軍であるかあるいは両方ともである」ということは偽だ fact4: もし「その漁業は物寂しくない」ということは正しいならば「あの賃借権抵当はロジャース流でないけど女軍である」ということは嘘である fact5: 弛い物は心憎い fact6: もし仮に「その送り状は心憎い」ということは本当であるとすれば「この発行済み株式数はきもいけどそれは物寂しいということはない」ということは嘘だ fact7: もし仮に「何らかのものはロジャース流でないけれどそれは女軍だ」ということは本当でないならばそれはロジャース流である fact8: この濡れ手拭いはベースボールであるかまたは推し量れる ; $hypothesis$ = あの賃借権抵当は物寂しいかもしくはそれは女軍だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「この発行済み株式数はきもいが物寂しくない」ということは事実と異なるならその漁業は物寂しくない
事実2: あの賃借権抵当は物寂しい
事実3: もし「何らかの物はきもくない」ということは間違いでないなら「物寂しいかあるいは女軍であるかあるいは両方ともである」ということは偽だ
事実4: もし「その漁業は物寂しくない」ということは正しいならば「あの賃借権抵当はロジャース流でないけど女軍である」ということは嘘である
事実5: 弛い物は心憎い
事実6: もし仮に「その送り状は心憎い」ということは本当であるとすれば「この発行済み株式数はきもいけどそれは物寂しいということはない」ということは嘘だ
事実7: もし仮に「何らかのものはロジャース流でないけれどそれは女軍だ」ということは本当でないならばそれはロジャース流である
事実8: この濡れ手拭いはベースボールであるかまたは推し量れる

仮説: あの賃借権抵当は物寂しいかもしくはそれは女軍だ
1. 事実2から、仮説が導かれる

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