The bear is green. The bear is young. The bear visits the squirrel. The bear visits the tiger. The dog eats the squirrel. The dog is kind. The dog sees the tiger. The squirrel eats the bear. The squirrel eats the dog. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel sees the bear. The squirrel visits the dog. The squirrel visits the tiger. The tiger visits the squirrel. If someone eats the squirrel then they eat the bear. If someone eats the squirrel and they eat the bear then they see the dog.
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone eats the squirrel then they eat the bear.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the squirrel and they eat the bear then they see the dog.
((("someone" "eats" "squirrel" "+") ("someone" "eats" "bear" "+")) -> ("someone" "sees" "dog" "+"))
The dog is kind.
True
1
proof
[(triple6)]
("dog" "is" "kind" "+")
triple6
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The dog eats the bear.
True
2
proof
[(((triple5) -> rule1))]
("dog" "eats" "bear" "+")
((triple5) -> (rule1 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog does not eat the bear.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "eats" "bear" "-")
((triple5) -> (rule1 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog sees the dog.
True
4
proof
[(((triple5 ((triple5) -> rule1)) -> rule2))]
("dog" "sees" "dog" "+")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog does not see the dog.
False
4
inv-proof
[(((triple5 ((triple5) -> rule1)) -> rule2))]
("dog" "sees" "dog" "-")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "bear" "-")
The tiger eats the bear.
Unknown
rconc
[@1: The tiger eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "bear" "+")
The tiger does not see the dog.
Unknown
inv-rconc
[@1: The tiger sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "dog" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
The bear does not visit the dog.
Unknown
inv-random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bear is green.[(triple1)] The bear is young.[(triple2)] The bear visits the squirrel.[(triple3)] The bear visits the tiger.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is kind.[(triple6)] The dog sees the tiger.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is rough.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the tiger.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The dog eats the bear.[(((triple5) -> rule1))] @2: The dog sees the dog.[(((triple5 ((triple5) -> rule1)) -> rule2))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple14
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The dog eats the bear.
("dog" "eats" "bear" "+")
((triple5) -> (rule1 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2