Anne is furry. Charlie is not cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is not white. Erin is not cold. Erin is nice. Gary is cold. Gary is green. Gary is nice. Gary is round. If something is green and not cold then it is not furry.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is green and not cold then it is not furry.
((("something" "is" "green" "+") ("something" "is" "cold" "~")) -> ("something" "is" "furry" "-"))
Gary is nice.
True
1
proof
[(triple11)]
("Gary" "is" "nice" "+")
triple11
Erin is not nice.
False
1
inv-proof
[(triple8)]
("Erin" "is" "nice" "-")
triple8
Charlie is not furry.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "furry" "-")
((triple3 triple2) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is furry.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "furry" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is furry.[(triple1)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not cold.[(triple2)] Charlie is not white.[(triple6)] Charlie is round.[(triple5)] Erin is nice.[(triple8)] Erin is not cold.[(triple7)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Charlie is not furry.[(((triple3 triple2) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not cold.
("Erin" "is" "cold" "-")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple3 triple2) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1