Anne is red. Bob is nice. Charlie is red. Gary is nice. Round things are rough. If something is kind then it is rough. If Charlie is kind then Charlie is big.
Anne is red.
("Anne" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If Charlie is kind then Charlie is big.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Charlie is red.[(triple3)] Gary is nice.[(triple4)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4