このバーバラ・フルレインは学校時代でない
fact1: 仮に「あのＥルは昴でなくて加えてそれは提案出来ない」ということは成り立たないとしたらこのバーバラ・フルレインは学校時代でない fact2: もし「何かは学校時代でないし学資保険でない」ということは事実でないとしたらそれは学校時代だ fact3: あのＥルは学資保険でない fact4: もしあのＥルは学資保険でないとしたら「それは昴でなくてしかも提案出来ない」ということは嘘である
fact4 & fact3 -> int1: 「あのＥルは昴でなくて更に提案出来ない」ということは間違いだ; int1 & fact1 -> hypothesis;
fact4 & fact3 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
このバーバラ・フルレインは学校時代である
fact5 -> int2: 「このバーバラ・フルレインは学校時代でなくて加えて学資保険でない」ということは成り立たないなら学校時代である;
$facts$ = fact1: 仮に「あのＥルは昴でなくて加えてそれは提案出来ない」ということは成り立たないとしたらこのバーバラ・フルレインは学校時代でない fact2: もし「何かは学校時代でないし学資保険でない」ということは事実でないとしたらそれは学校時代だ fact3: あのＥルは学資保険でない fact4: もしあのＥルは学資保険でないとしたら「それは昴でなくてしかも提案出来ない」ということは嘘である ; $hypothesis$ = このバーバラ・フルレインは学校時代でない ; $proof$ = 
fact4 & fact3 -> int1: 「あのＥルは昴でなくて更に提案出来ない」ということは間違いだ; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「あのＥルは昴でなくて加えてそれは提案出来ない」ということは成り立たないとしたらこのバーバラ・フルレインは学校時代でない
事実2: もし「何かは学校時代でないし学資保険でない」ということは事実でないとしたらそれは学校時代だ
事実3: あのＥルは学資保険でない
事実4: もしあのＥルは学資保険でないとしたら「それは昴でなくてしかも提案出来ない」ということは嘘である

仮説: このバーバラ・フルレインは学校時代でない
1. 事実4と事実3から、推論1: "「あのＥルは昴でなくて更に提案出来ない」ということは間違いだ"が導かれる
2. 推論1と事実1から、仮説が導かれる

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