その二礼は規則正しくないか心地良くないかどちらもだ
fact1: もしもある物が左右すればそれは方様だ fact2: あるものは方様だ fact3: その二礼は規則正しいかもしくは心地良くないかまたは両方だ fact4: 仮に何かは方様なら「規則正しくないかもしくは心地良くないかもしくはどちらもである」ということは嘘だ fact5: もしも「「方様な」物はある」ということは正しいとしたらその二礼は規則正しくないかあるいは心地良くないかあるいはどちらもである fact6: 仮にとあるものが方様でないとすればそれは非常時でないか言い易くないかもしくは両方ともだ
fact2 & fact5 -> hypothesis;
fact2 & fact5 -> hypothesis;
その二礼は非常時でないかもしくは言い易くないかどちらもである
fact7 -> int1: もし仮にその二礼が方様でないとすれば非常時でないかあるいはそれは言い易くない;
$facts$ = fact1: もしもある物が左右すればそれは方様だ fact2: あるものは方様だ fact3: その二礼は規則正しいかもしくは心地良くないかまたは両方だ fact4: 仮に何かは方様なら「規則正しくないかもしくは心地良くないかもしくはどちらもである」ということは嘘だ fact5: もしも「「方様な」物はある」ということは正しいとしたらその二礼は規則正しくないかあるいは心地良くないかあるいはどちらもである fact6: 仮にとあるものが方様でないとすればそれは非常時でないか言い易くないかもしくは両方ともだ ; $hypothesis$ = その二礼は規則正しくないか心地良くないかどちらもだ ; $proof$ = 
fact2 & fact5 -> hypothesis; __PROVED__
事実1: もしもある物が左右すればそれは方様だ
事実2: あるものは方様だ
事実3: その二礼は規則正しいかもしくは心地良くないかまたは両方だ
事実4: 仮に何かは方様なら「規則正しくないかもしくは心地良くないかもしくはどちらもである」ということは嘘だ
事実5: もしも「「方様な」物はある」ということは正しいとしたらその二礼は規則正しくないかあるいは心地良くないかあるいはどちらもである
事実6: 仮にとあるものが方様でないとすればそれは非常時でないか言い易くないかもしくは両方ともだ

仮説: その二礼は規則正しくないか心地良くないかどちらもだ
1. 事実2と事実5から、仮説が導かれる

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