Erin is big. Erin is not cold. Erin is not furry. Erin is kind. Erin is rough. Erin is smart. Erin is white. All rough, cold people are white.
Erin is big.
("Erin" "is" "big" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
All rough, cold people are white.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Erin is kind.
True
1
proof
[(triple4)]
("Erin" "is" "kind" "+")
triple4
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
@0: Erin is big.[(triple1)] Erin is kind.[(triple4)] Erin is not cold.[(triple2)] Erin is not furry.[(triple3)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is not cold.
("Erin" "is" "cold" "-")
triple2
Erin is not furry.
("Erin" "is" "furry" "-")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7