Anne is green. Anne is red. Charlie is red. Dave is green. Dave is round. Gary is furry. Gary is red. If someone is round then they are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Anne is red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "+")
triple2
Gary is not furry.
False
1
inv-proof
[(triple6)]
("Gary" "is" "furry" "-")
triple6
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Charlie is red.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Gary is furry.[(triple6)] Gary is red.[(triple7)] @1: Dave is nice.[(((triple5) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1