その真暗闇は婦人であるし加えてそれはプログラム内である
fact1: その真暗闇はプログラム内である fact2: 仮にあのバレッタが詐称するということはないとしたらその真暗闇は長しないしかつ図り難くない fact3: このイラク国内は呼び易いしそれにプログラム内である fact4: この元本は小煩いしそれは婦人である fact5: この十七宗はプログラム内である fact6: 長しない物はプログラム内でないがしかし婦人だ fact7: もし何かは長しないならば「婦人であるし加えてプログラム内だ」ということは間違いである fact8: その真暗闇は婦人である fact9: 「その真暗闇は通じる」ということは成り立つ
fact8 & fact1 -> hypothesis;
fact8 & fact1 -> hypothesis;
「「その真暗闇が婦人だしそれはプログラム内だ」ということは成り立つ」ということは間違っている
fact11 -> int1: その真暗闇は長しということはないなら「婦人でプログラム内だ」ということは間違っている;
$facts$ = fact1: その真暗闇はプログラム内である fact2: 仮にあのバレッタが詐称するということはないとしたらその真暗闇は長しないしかつ図り難くない fact3: このイラク国内は呼び易いしそれにプログラム内である fact4: この元本は小煩いしそれは婦人である fact5: この十七宗はプログラム内である fact6: 長しない物はプログラム内でないがしかし婦人だ fact7: もし何かは長しないならば「婦人であるし加えてプログラム内だ」ということは間違いである fact8: その真暗闇は婦人である fact9: 「その真暗闇は通じる」ということは成り立つ ; $hypothesis$ = その真暗闇は婦人であるし加えてそれはプログラム内である ; $proof$ = 
fact8 & fact1 -> hypothesis; __PROVED__
事実1: その真暗闇はプログラム内である
事実2: 仮にあのバレッタが詐称するということはないとしたらその真暗闇は長しないしかつ図り難くない
事実3: このイラク国内は呼び易いしそれにプログラム内である
事実4: この元本は小煩いしそれは婦人である
事実5: この十七宗はプログラム内である
事実6: 長しない物はプログラム内でないがしかし婦人だ
事実7: もし何かは長しないならば「婦人であるし加えてプログラム内だ」ということは間違いである
事実8: その真暗闇は婦人である
事実9: 「その真暗闇は通じる」ということは成り立つ

仮説: その真暗闇は婦人であるし加えてそれはプログラム内である
1. 事実8と事実1から、仮説が導かれる

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