The cat is rough. Blue, rough people are nice. Green, blue people are rough. If the cat is rough and the cat is blue then the cat is nice.
The cat is rough.
("cat" "is" "rough" "+")
Blue, rough people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Green, blue people are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the cat is rough and the cat is blue then the cat is nice.
((("cat" "is" "rough" "+") ("cat" "is" "blue" "+")) -> ("cat" "is" "nice" "+"))
The cat is rough.
True
1
proof
[(triple1)]
("cat" "is" "rough" "+")
triple1
The cat is not rough.
False
1
inv-proof
[(triple1)]
("cat" "is" "rough" "-")
triple1
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is rough.[(triple1)]
The cat is rough.
("cat" "is" "rough" "+")
triple1