The bear chases the rabbit. The cat needs the rabbit. The rabbit is nice. The squirrel needs the cat. If someone chases the rabbit then they like the cat. If someone is rough then they are nice.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If someone chases the rabbit then they like the cat.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "cat" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
The cat needs the rabbit.
True
1
proof
[(triple2)]
("cat" "needs" "rabbit" "+")
triple2
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "nice" "-")
The squirrel likes the bear.
Unknown
random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The cat needs the rabbit.[(triple2)] The rabbit is nice.[(triple3)] The squirrel needs the cat.[(triple4)] @1: The bear likes the cat.[(((triple1) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
((triple1) -> (rule1 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1