The bear eats the rabbit. The bear eats the squirrel. The bear is blue. The bear is green. The bear is kind. The dog is kind. The dog is rough. The dog visits the rabbit. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit is blue. The rabbit likes the dog. The rabbit does not visit the dog. The squirrel eats the bear. The squirrel visits the rabbit. If something is blue and it likes the bear then the bear visits the squirrel. If something likes the dog and the dog visits the bear then it likes the bear. If something visits the dog and it eats the dog then the dog eats the squirrel. If something visits the bear and the bear likes the squirrel then the squirrel likes the rabbit. If something visits the rabbit and it is not blue then the rabbit eats the dog. If something is kind then it visits the bear. If something is big then it eats the bear. If something eats the dog and it does not visit the bear then the bear is not big.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is blue and it likes the bear then the bear visits the squirrel.
((("something" "is" "blue" "+") ("something" "likes" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
If something likes the dog and the dog visits the bear then it likes the bear.
((("something" "likes" "dog" "+") ("dog" "visits" "bear" "+")) -> ("something" "likes" "bear" "+"))
If something visits the dog and it eats the dog then the dog eats the squirrel.
((("something" "visits" "dog" "+") ("something" "eats" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If something visits the bear and the bear likes the squirrel then the squirrel likes the rabbit.
((("something" "visits" "bear" "+") ("bear" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If something visits the rabbit and it is not blue then the rabbit eats the dog.
((("something" "visits" "rabbit" "+") ("something" "is" "blue" "~")) -> ("rabbit" "eats" "dog" "+"))
If something is kind then it visits the bear.
((("something" "is" "kind" "+")) -> ("something" "visits" "bear" "+"))
If something is big then it eats the bear.
((("something" "is" "big" "+")) -> ("something" "eats" "bear" "+"))
If something eats the dog and it does not visit the bear then the bear is not big.
((("something" "eats" "dog" "+") ("something" "visits" "bear" "~")) -> ("bear" "is" "big" "-"))
The dog is rough.
True
1
proof
[(triple7)]
("dog" "is" "rough" "+")
triple7
The bear is not green.
False
1
inv-proof
[(triple4)]
("bear" "is" "green" "-")
triple4
The dog visits the bear.
True
2
proof
[(((triple6) -> rule6))]
("dog" "visits" "bear" "+")
((triple6) -> (rule6 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple5) -> rule6))]
("bear" "visits" "bear" "-")
((triple5) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The rabbit likes the bear.
True
4
proof
[(((triple12 ((triple6) -> rule6)) -> rule2))]
("rabbit" "likes" "bear" "+")
((triple12 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The rabbit does not like the bear.
False
4
inv-proof
[(((triple12 ((triple6) -> rule6)) -> rule2))]
("rabbit" "likes" "bear" "-")
((triple12 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The bear visits the squirrel.
True
6
proof
[(((triple11 ((triple12 ((triple6) -> rule6)) -> rule2)) -> rule1))]
("bear" "visits" "squirrel" "+")
((triple11 ((triple12 ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The bear does not visit the squirrel.
False
6
inv-proof
[(((triple11 ((triple12 ((triple6) -> rule6)) -> rule2)) -> rule1))]
("bear" "visits" "squirrel" "-")
((triple11 ((triple12 ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "eats" "bear" "-")
The squirrel likes the bear.
Unknown
rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "bear" "+")
The squirrel does not like the rabbit.
Unknown
inv-rconc
[@1: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "rabbit" "-")
The rabbit visits the bear.
Unknown
rconc
[@1: The rabbit visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "visits" "bear" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The dog is kind.[(triple6)] The dog is rough.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit does not visit the dog.[(triple13)] The rabbit eats the dog.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit is blue.[(triple11)] The rabbit likes the dog.[(triple12)] The squirrel eats the bear.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The bear visits the bear.[(((triple5) -> rule6))] The dog visits the bear.[(((triple6) -> rule6))] @2: The rabbit likes the bear.[(((triple12 ((triple6) -> rule6)) -> rule2))] @3: The bear visits the squirrel.[(((triple11 ((triple12 ((triple6) -> rule6)) -> rule2)) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
triple13
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple9
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple12
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple5) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple6) -> (rule6 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple12 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
((triple11 ((triple12 ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3