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