Erin is big. Erin is cold. Erin is not furry. Erin is nice. Erin is red. Erin is rough. Erin is white. If someone is white then they are cold. If someone is rough and not white then they are red.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and not white then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "red" "+"))
Erin is rough.
True
1
proof
[(triple6)]
("Erin" "is" "rough" "+")
triple6
Erin is not white.
False
1
inv-proof
[(triple7)]
("Erin" "is" "white" "-")
triple7
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple7) -> rule1))] Erin is nice.[(triple4)] Erin is not furry.[(triple3)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
((triple7) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not furry.
("Erin" "is" "furry" "-")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7