The bear eats the cat. The bear eats the squirrel. The bear is blue. The bear is kind. The bear is rough. The bear likes the cat. The bear visits the cat. The bear visits the dog. The cat eats the dog. The cat likes the bear. The cat likes the squirrel. The dog visits the bear. The dog visits the cat. The squirrel is blue. The squirrel likes the bear. The squirrel likes the dog. If someone visits the squirrel then the squirrel likes the cat. If someone eats the cat then they are young. If someone visits the dog then the dog likes the cat. If the bear likes the squirrel then the squirrel likes the bear. If someone visits the cat then the cat is rough. Rough people are blue.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone visits the squirrel then the squirrel likes the cat.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If someone eats the cat then they are young.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "young" "+"))
If someone visits the dog then the dog likes the cat.
((("someone" "visits" "dog" "+")) -> ("dog" "likes" "cat" "+"))
If the bear likes the squirrel then the squirrel likes the bear.
((("bear" "likes" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
If someone visits the cat then the cat is rough.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "rough" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
The bear visits the cat.
True
1
proof
[(triple7)]
("bear" "visits" "cat" "+")
triple7
The bear is not kind.
False
1
inv-proof
[(triple4)]
("bear" "is" "kind" "-")
triple4
The bear is young.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "young" "+")
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "young" "-")
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat is blue.
True
3
proof
[(((((triple13) -> rule5)) -> rule6) OR ((((triple7) -> rule5)) -> rule6))]
("cat" "is" "blue" "+")
((((triple13) -> (rule5 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is not blue.
False
3
inv-proof
[(((((triple13) -> rule5)) -> rule6) OR ((((triple7) -> rule5)) -> rule6))]
("cat" "is" "blue" "-")
((((triple13) -> (rule5 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The squirrel does not like the cat.
Unknown
inv-rconc
[@1: The squirrel likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "cat" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "young" "+")
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "young" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3 OR ((triple5) -> rule6))] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear likes the cat.[(triple6)] The bear visits the cat.[(triple7)] The bear visits the dog.[(triple8)] The cat eats the dog.[(triple9)] The cat likes the bear.[(triple10)] The cat likes the squirrel.[(triple11)] The dog visits the bear.[(triple12)] The dog visits the cat.[(triple13)] The squirrel is blue.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel likes the dog.[(triple16)] @1: The bear is young.[(((triple1) -> rule2))] The cat is rough.[(((triple13) -> rule5) OR ((triple7) -> rule5))] The dog likes the cat.[(((triple8) -> rule3))] @2: The cat is blue.[(((((triple13) -> rule5)) -> rule6) OR ((((triple7) -> rule5)) -> rule6))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
((triple5) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The bear visits the cat.
("bear" "visits" "cat" "+")
triple7
The bear visits the dog.
("bear" "visits" "dog" "+")
triple8
The cat eats the dog.
("cat" "eats" "dog" "+")
triple9
The cat likes the bear.
("cat" "likes" "bear" "+")
triple10
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the cat.
("dog" "visits" "cat" "+")
triple13
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple14
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple16
The bear is young.
("bear" "is" "young" "+")
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple13) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple7) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The dog likes the cat.
("dog" "likes" "cat" "+")
((triple8) -> (rule3 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((((triple13) -> (rule5 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2