The bear does not need the cat. The bear sees the cat. The bear sees the squirrel. The cat is young. The cat likes the squirrel. The cat needs the rabbit. The cat sees the bear. The cat sees the rabbit. The rabbit likes the bear. The rabbit likes the squirrel. The rabbit sees the bear. The rabbit sees the cat. The rabbit sees the squirrel. The squirrel likes the cat. The squirrel sees the bear. If something sees the bear and it likes the bear then it is nice. If something is blue then it needs the bear. If something likes the rabbit then the rabbit sees the bear.
The bear does not need the cat.
("bear" "needs" "cat" "-")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something sees the bear and it likes the bear then it is nice.
((("something" "sees" "bear" "+") ("something" "likes" "bear" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it needs the bear.
((("something" "is" "blue" "+")) -> ("something" "needs" "bear" "+"))
If something likes the rabbit then the rabbit sees the bear.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "sees" "bear" "+"))
The rabbit sees the squirrel.
True
1
proof
[(triple13)]
("rabbit" "sees" "squirrel" "+")
triple13
The rabbit does not like the bear.
False
1
inv-proof
[(triple9)]
("rabbit" "likes" "bear" "-")
triple9
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The bear needs the rabbit.
Unknown
random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "+")
@0: The bear does not need the cat.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the squirrel.[(triple3)] The cat is young.[(triple4)] The cat likes the squirrel.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the bear.[(triple7)] The cat sees the rabbit.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit sees the cat.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel sees the bear.[(triple15)] @1: The rabbit is nice.[(((triple11 triple9) -> rule1))]
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The cat sees the bear.
("cat" "sees" "bear" "+")
triple7
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple8
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple11 triple9) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1