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