Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is white. All rough things are furry. All red things are not quiet. If Anne is quiet and Anne is not rough then Anne is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All red things are not quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "-"))
If Anne is quiet and Anne is not rough then Anne is cold.
((("Anne" "is" "quiet" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "cold" "+"))
Erin is cold.
True
1
proof
[(triple7)]
("Erin" "is" "cold" "+")
triple7
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8 OR ((triple11) -> rule1))] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple12)] @1: Erin is not quiet.[(((triple10) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple5) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
((triple11) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple10) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1