その焚書は痒くない
fact1: 「あのＡＥは信じ易いということはない」ということは成り立つ fact2: それは帰り来るし等しいという物はない fact3: 「この川下は湖面であるしその上現地視察である」ということは誤っている fact4: 湖面でない一方で信じ易いという物はない fact5: その焚書は信じ易くない fact6: 「もし仮に「このＥ氏は湖面でない一方で信じ易い」ということは間違いだとすると「その焚書は痒くない」ということは真実である」ということは成り立つ fact7: それは湖面でなくてしかも痒いというものはない fact8: 「このＥ氏は信じ易くて痒い」ということは成り立つということはない fact9: 信じ易いし痒いものはない fact10: 「この歯科保健は乗り難いということはない一方で信じ易い」ということは成り立たない fact11: もしもその焚書が信じ易いとすればこのＥ氏は痒くない fact12: それは痒いし更に信じ易いという物はない
fact4 -> int1: 「このＥ氏は湖面でないがそれは信じ易い」ということは偽である; int1 & fact6 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact6 -> hypothesis;
$facts$ = fact1: 「あのＡＥは信じ易いということはない」ということは成り立つ fact2: それは帰り来るし等しいという物はない fact3: 「この川下は湖面であるしその上現地視察である」ということは誤っている fact4: 湖面でない一方で信じ易いという物はない fact5: その焚書は信じ易くない fact6: 「もし仮に「このＥ氏は湖面でない一方で信じ易い」ということは間違いだとすると「その焚書は痒くない」ということは真実である」ということは成り立つ fact7: それは湖面でなくてしかも痒いというものはない fact8: 「このＥ氏は信じ易くて痒い」ということは成り立つということはない fact9: 信じ易いし痒いものはない fact10: 「この歯科保健は乗り難いということはない一方で信じ易い」ということは成り立たない fact11: もしもその焚書が信じ易いとすればこのＥ氏は痒くない fact12: それは痒いし更に信じ易いという物はない ; $hypothesis$ = その焚書は痒くない ; $proof$ = 
fact4 -> int1: 「このＥ氏は湖面でないがそれは信じ易い」ということは偽である; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「あのＡＥは信じ易いということはない」ということは成り立つ
事実2: それは帰り来るし等しいという物はない
事実3: 「この川下は湖面であるしその上現地視察である」ということは誤っている
事実4: 湖面でない一方で信じ易いという物はない
事実5: その焚書は信じ易くない
事実6: 「もし仮に「このＥ氏は湖面でない一方で信じ易い」ということは間違いだとすると「その焚書は痒くない」ということは真実である」ということは成り立つ
事実7: それは湖面でなくてしかも痒いというものはない
事実8: 「このＥ氏は信じ易くて痒い」ということは成り立つということはない
事実9: 信じ易いし痒いものはない
事実10: 「この歯科保健は乗り難いということはない一方で信じ易い」ということは成り立たない
事実11: もしもその焚書が信じ易いとすればこのＥ氏は痒くない
事実12: それは痒いし更に信じ易いという物はない

仮説: その焚書は痒くない
1. 事実4から、推論1: "「このＥ氏は湖面でないがそれは信じ易い」ということは偽である"が導かれる
2. 推論1と事実6から、仮説が導かれる

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