Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Erin is young. If something is furry and quiet then it is white.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is furry and quiet then it is white.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple7)]
("Erin" "is" "young" "-")
triple7
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple2 triple4) -> rule1))] Erin is young.[(triple7)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple2 triple4) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7