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