Charlie is round. Erin is green. Fiona is round. Gary is quiet. If someone is round and quiet then they are red. If someone is quiet and nice then they are white.
Charlie is round.
("Charlie" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is round and quiet then they are red.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet and nice then they are white.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Gary is quiet.
True
1
proof
[(triple4)]
("Gary" "is" "quiet" "+")
triple4
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is round.[(triple1)] Erin is green.[(triple2)] Fiona is round.[(triple3)] Gary is quiet.[(triple4)]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4