その工程は大原則でない
fact1: 「「「知り合いらしくないかもしくは嘘っぽくないかまたはどちらもだ」ということは成り立たない」物はある」ということは成り立つ fact2: もし仮に「「知り合いらしくないかもしくは嘘っぽくない」ということは成り立たない」物があるとしたらその工程は大原則でない
$facts$ = fact1: 「「「知り合いらしくないかもしくは嘘っぽくないかまたはどちらもだ」ということは成り立たない」物はある」ということは成り立つ fact2: もし仮に「「知り合いらしくないかもしくは嘘っぽくない」ということは成り立たない」物があるとしたらその工程は大原則でない ; $hypothesis$ = その工程は大原則でない ; $proof$ = 
事実1: 「「「知り合いらしくないかもしくは嘘っぽくないかまたはどちらもだ」ということは成り立たない」物はある」ということは成り立つ
事実2: もし仮に「「知り合いらしくないかもしくは嘘っぽくない」ということは成り立たない」物があるとしたらその工程は大原則でない

仮説: その工程は大原則でない