その救世軍は田虫である
fact1: もしもとあるものが外国人女性でなくて加えてそれは干渉戦争でないならばそれは田虫でない fact2: その救世軍は待機中だ fact3: 「その救世軍は田虫だし更に外国人女性だ」ということは成り立つ fact4: 受け入れられ易い物は外国人女性でないし干渉戦争でない fact5: その定款規定は田虫だ fact6: その救世軍は投げる fact7: このＬ型乳酸は外国人女性であるし忙しい fact8: その救世軍は色っぽい fact9: この支払い地は田虫である fact10: その救世軍は御精進である fact11: この民権派は田虫である fact12: その三重スパイは田虫である fact13: その救世軍は表現し難い fact14: その実測距離は田虫だ fact15: その救世軍は騒がしくておまけにすりゃ良い fact16: この論理実証主義は外国人女性である
fact3 -> hypothesis;
fact3 -> hypothesis;
「その救世軍は田虫でない」ということは確かである
fact17 -> int1: もし仮にその救世軍が外国人女性でないし加えて干渉戦争でないとすれば田虫でない; fact18 -> int2: もし仮にその救世軍は受け入れられ易いなら「外国人女性でないし干渉戦争でない」ということは本当だ;
$facts$ = fact1: もしもとあるものが外国人女性でなくて加えてそれは干渉戦争でないならばそれは田虫でない fact2: その救世軍は待機中だ fact3: 「その救世軍は田虫だし更に外国人女性だ」ということは成り立つ fact4: 受け入れられ易い物は外国人女性でないし干渉戦争でない fact5: その定款規定は田虫だ fact6: その救世軍は投げる fact7: このＬ型乳酸は外国人女性であるし忙しい fact8: その救世軍は色っぽい fact9: この支払い地は田虫である fact10: その救世軍は御精進である fact11: この民権派は田虫である fact12: その三重スパイは田虫である fact13: その救世軍は表現し難い fact14: その実測距離は田虫だ fact15: その救世軍は騒がしくておまけにすりゃ良い fact16: この論理実証主義は外国人女性である ; $hypothesis$ = その救世軍は田虫である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもとあるものが外国人女性でなくて加えてそれは干渉戦争でないならばそれは田虫でない
事実2: その救世軍は待機中だ
事実3: 「その救世軍は田虫だし更に外国人女性だ」ということは成り立つ
事実4: 受け入れられ易い物は外国人女性でないし干渉戦争でない
事実5: その定款規定は田虫だ
事実6: その救世軍は投げる
事実7: このＬ型乳酸は外国人女性であるし忙しい
事実8: その救世軍は色っぽい
事実9: この支払い地は田虫である
事実10: その救世軍は御精進である
事実11: この民権派は田虫である
事実12: その三重スパイは田虫である
事実13: その救世軍は表現し難い
事実14: その実測距離は田虫だ
事実15: その救世軍は騒がしくておまけにすりゃ良い
事実16: この論理実証主義は外国人女性である

仮説: その救世軍は田虫である
1. 事実3から、仮説が導かれる

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