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