その決算書上はこっ酷くない
fact1: 仮に何かは二次要素近似関数だとすればその決算書上は脱衣場でない fact2: なんらかの物が脱衣場だとするとその決算書上はこっ酷いということはない fact3: 「「脱衣場である」ということは真実な」ものはある fact4: もし「あの勅使は脱衣場でなくてまたＴ座標でない」ということは間違っているとしたらその決算書上はＴ座標だ fact5: その決算書上は脱衣場でない fact6: この老女はこっ酷くない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
なにがしかの物はＴ座標だ
$facts$ = fact1: 仮に何かは二次要素近似関数だとすればその決算書上は脱衣場でない fact2: なんらかの物が脱衣場だとするとその決算書上はこっ酷いということはない fact3: 「「脱衣場である」ということは真実な」ものはある fact4: もし「あの勅使は脱衣場でなくてまたＴ座標でない」ということは間違っているとしたらその決算書上はＴ座標だ fact5: その決算書上は脱衣場でない fact6: この老女はこっ酷くない ; $hypothesis$ = その決算書上はこっ酷くない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: 仮に何かは二次要素近似関数だとすればその決算書上は脱衣場でない
事実2: なんらかの物が脱衣場だとするとその決算書上はこっ酷いということはない
事実3: 「「脱衣場である」ということは真実な」ものはある
事実4: もし「あの勅使は脱衣場でなくてまたＴ座標でない」ということは間違っているとしたらその決算書上はＴ座標だ
事実5: その決算書上は脱衣場でない
事実6: この老女はこっ酷くない

仮説: その決算書上はこっ酷くない
1. 事実3と事実2から、仮説が導かれる

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