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