Anne is not blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is not round. Anne is not white. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is not round. Gary is white. If something is furry and not blue then it is kind.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not white.
("Anne" "is" "white" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is white.
("Gary" "is" "white" "+")
If something is furry and not blue then it is kind.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "kind" "+"))
Gary is white.
True
1
proof
[(triple14)]
("Gary" "is" "white" "+")
triple14
Anne is round.
False
1
inv-proof
[(triple6)]
("Anne" "is" "round" "+")
triple6
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple3 triple1) -> rule1))] Anne is not blue.[(triple1)] Anne is not round.[(triple6)] Anne is not white.[(triple7)] Anne is rough.[(triple5)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is not round.[(triple13)] Gary is rough.[(triple12)] Gary is white.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple3 triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple6
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is not round.
("Gary" "is" "round" "-")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is white.
("Gary" "is" "white" "+")
triple14