The bear chases the rabbit. The bear is blue. The bear is nice. The bear needs the cat. The bear needs the rabbit. The cat visits the rabbit. The rabbit needs the cat. If something needs the rabbit then it is rough. If the cat visits the bear then the cat needs the bear. If something needs the rabbit then the rabbit is kind. If the rabbit chases the cat then the cat is nice. If the cat needs the bear then the bear visits the cat. If something visits the bear and it is kind then it is red.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If something needs the rabbit then it is rough.
((("something" "needs" "rabbit" "+")) -> ("something" "is" "rough" "+"))
If the cat visits the bear then the cat needs the bear.
((("cat" "visits" "bear" "+")) -> ("cat" "needs" "bear" "+"))
If something needs the rabbit then the rabbit is kind.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the rabbit chases the cat then the cat is nice.
((("rabbit" "chases" "cat" "+")) -> ("cat" "is" "nice" "+"))
If the cat needs the bear then the bear visits the cat.
((("cat" "needs" "bear" "+")) -> ("bear" "visits" "cat" "+"))
If something visits the bear and it is kind then it is red.
((("something" "visits" "bear" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
The bear needs the cat.
True
1
proof
[(triple4)]
("bear" "needs" "cat" "+")
triple4
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the rabbit.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit needs the cat.[(triple7)] @1: The bear is rough.[(((triple5) -> rule1))] The rabbit is kind.[(((triple5) -> rule3))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
((triple5) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple5) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1