The bear chases the cat. The bear chases the squirrel. The bear eats the cat. The bear eats the squirrel. The bear likes the cat. The bear likes the squirrel. The cat chases the bear. The cat is kind. The cat is young. The squirrel chases the bear. The squirrel chases the cat. The squirrel eats the bear. The squirrel is blue. The squirrel is young. The squirrel likes the cat. If the squirrel is young then the squirrel is blue. If the bear likes the squirrel then the squirrel likes the cat. If something chases the squirrel and it likes the bear then it likes the cat. If something likes the bear and it eats the bear then the bear likes the cat. If something chases the cat and the cat likes the squirrel then it is green. If something chases the squirrel then the squirrel eats the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If the squirrel is young then the squirrel is blue.
((("squirrel" "is" "young" "+")) -> ("squirrel" "is" "blue" "+"))
If the bear likes the squirrel then the squirrel likes the cat.
((("bear" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If something chases the squirrel and it likes the bear then it likes the cat.
((("something" "chases" "squirrel" "+") ("something" "likes" "bear" "+")) -> ("something" "likes" "cat" "+"))
If something likes the bear and it eats the bear then the bear likes the cat.
((("something" "likes" "bear" "+") ("something" "eats" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If something chases the cat and the cat likes the squirrel then it is green.
((("something" "chases" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("something" "is" "green" "+"))
If something chases the squirrel then the squirrel eats the cat.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
The bear likes the squirrel.
True
1
proof
[(triple6)]
("bear" "likes" "squirrel" "+")
triple6
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The squirrel eats the cat.
True
2
proof
[(((triple2) -> rule6))]
("squirrel" "eats" "cat" "+")
((triple2) -> (rule6 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule6))]
("squirrel" "eats" "cat" "-")
((triple2) -> (rule6 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "green" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "green" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the cat.[(triple3)] The bear eats the squirrel.[(triple4)] The bear likes the cat.[(triple5)] The bear likes the squirrel.[(triple6)] The cat chases the bear.[(triple7)] The cat is kind.[(triple8)] The cat is young.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel is blue.[(triple13 OR ((triple14) -> rule1))] The squirrel is young.[(triple14)] The squirrel likes the cat.[(triple15 OR ((triple6) -> rule2))] @1: The squirrel eats the cat.[(((triple2) -> rule6))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The cat chases the bear.
("cat" "chases" "bear" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat is young.
("cat" "is" "young" "+")
triple9
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple10
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
((triple14) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
((triple6) -> (rule2 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((triple2) -> (rule6 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1