Charlie is nice. Erin is nice. Gary is green. If something is green and white then it is big. White things are big. If something is rough then it is red. If Charlie is round then Charlie is green. All rough things are red. All green, white things are rough. All round things are red. Big, white things are red.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
If something is green and white then it is big.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Charlie is round then Charlie is green.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "green" "+"))
All rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All green, white things are rough.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Big, white things are red.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is nice.[(triple1)] Erin is nice.[(triple2)] Gary is green.[(triple3)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3