Anne is furry. Anne is not kind. Charlie is not red. Dave is blue. Dave is cold. Dave is red. Dave is smart. Furry people are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Charlie is not red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Anne is blue.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is not kind.[(triple2)] Charlie is not red.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] @1: Anne is blue.[(((triple1) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1