Anne is blue. Erin is smart. Gary is green. Gary is quiet. Gary is not red. Gary is not round. Harry is green. If someone is young then they are red. If someone is red and not green then they are not young.
Anne is blue.
("Anne" "is" "blue" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not round.
("Gary" "is" "round" "-")
Harry is green.
("Harry" "is" "green" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and not green then they are not young.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "young" "-"))
Gary is quiet.
True
1
proof
[(triple4)]
("Gary" "is" "quiet" "+")
triple4
Erin is not smart.
False
1
inv-proof
[(triple2)]
("Erin" "is" "smart" "-")
triple2
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Erin is smart.[(triple2)] Gary is green.[(triple3)] Gary is not red.[(triple5)] Gary is not round.[(triple6)] Gary is quiet.[(triple4)] Harry is green.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
triple5
Gary is not round.
("Gary" "is" "round" "-")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple7