The bear chases the dog. The bear chases the squirrel. The bear is big. The bear is red. The bear likes the lion. The dog is big. The dog is blue. The dog is nice. The dog likes the bear. The dog likes the lion. The dog needs the lion. The lion chases the dog. The lion likes the dog. The lion needs the squirrel. The squirrel chases the dog. The squirrel needs the bear. If the bear is green then the bear needs the dog. If someone chases the squirrel and they need the bear then they are nice. If the bear needs the dog then the dog chases the bear. If someone likes the bear then the bear needs the dog. If someone likes the dog then they chase the bear. If someone likes the bear then the bear is big.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If the bear is green then the bear needs the dog.
((("bear" "is" "green" "+")) -> ("bear" "needs" "dog" "+"))
If someone chases the squirrel and they need the bear then they are nice.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "bear" "+")) -> ("someone" "is" "nice" "+"))
If the bear needs the dog then the dog chases the bear.
((("bear" "needs" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If someone likes the bear then the bear needs the dog.
((("someone" "likes" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If someone likes the dog then they chase the bear.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "bear" "+"))
If someone likes the bear then the bear is big.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "big" "+"))
The lion chases the dog.
True
1
proof
[(triple12)]
("lion" "chases" "dog" "+")
triple12
The dog does not like the lion.
False
1
inv-proof
[(triple10)]
("dog" "likes" "lion" "-")
triple10
The bear needs the dog.
True
2
proof
[(((triple9) -> rule4))]
("bear" "needs" "dog" "+")
((triple9) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The lion does not chase the bear.
False
2
inv-proof
[(((triple13) -> rule5))]
("lion" "chases" "bear" "-")
((triple13) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "nice" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bear" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is big.[(triple3 OR ((triple9) -> rule6))] The bear is red.[(triple4)] The bear likes the lion.[(triple5)] The dog is big.[(triple6)] The dog is blue.[(triple7)] The dog is nice.[(triple8)] The dog likes the bear.[(triple9)] The dog likes the lion.[(triple10)] The dog needs the lion.[(triple11)] The lion chases the dog.[(triple12)] The lion likes the dog.[(triple13)] The lion needs the squirrel.[(triple14)] The squirrel chases the dog.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The bear needs the dog.[(((triple9) -> rule4))] The lion chases the bear.[(((triple13) -> rule5))] @2: The dog chases the bear.[(((((triple9) -> rule4)) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
((triple9) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple4
The bear likes the lion.
("bear" "likes" "lion" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog likes the lion.
("dog" "likes" "lion" "+")
triple10
The dog needs the lion.
("dog" "needs" "lion" "+")
triple11
The lion chases the dog.
("lion" "chases" "dog" "+")
triple12
The lion likes the dog.
("lion" "likes" "dog" "+")
triple13
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple14
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple15
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple16
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple9) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple13) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2