Anne is rough. Bob is red. Charlie is nice. Gary is round. White, nice things are rough. Rough, round things are white. All smart things are red.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
White, nice things are rough.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Rough, round things are white.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Charlie is nice.
True
1
proof
[(triple3)]
("Charlie" "is" "nice" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is rough.[(triple1)] Bob is red.[(triple2)] Charlie is nice.[(triple3)] Gary is round.[(triple4)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4