Erin is big. Erin is not blue. Erin is cold. Erin is nice. Erin is quiet. Erin is rough. Erin is white. If something is quiet and not cold then it is big.
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is quiet and not cold then it is big.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Erin is not cold.
False
1
inv-proof
[(triple3)]
("Erin" "is" "cold" "-")
triple3
@0: Erin is big.[(triple1)] Erin is cold.[(triple3)] Erin is nice.[(triple4)] Erin is not blue.[(triple2)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7