The bear does not eat the mouse. The bear is blue. The bear is kind. The bear is round. The bear needs the squirrel. The dog eats the bear. The dog is blue. The dog does not need the squirrel. The mouse needs the squirrel. The squirrel does not eat the dog. The squirrel is big. The squirrel is kind. The squirrel visits the dog. The squirrel visits the mouse. If the bear eats the dog and the bear is green then the bear visits the dog. If something visits the mouse and it is big then it visits the dog. If the dog visits the bear then the dog is not green. If something needs the squirrel then it needs the mouse. If something is blue then it visits the bear. If something visits the squirrel then the squirrel needs the bear. If something needs the dog and it does not eat the mouse then the dog visits the squirrel. If something eats the bear and it is not green then the bear needs the dog. If something visits the squirrel then it is not round.
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the bear eats the dog and the bear is green then the bear visits the dog.
((("bear" "eats" "dog" "+") ("bear" "is" "green" "+")) -> ("bear" "visits" "dog" "+"))
If something visits the mouse and it is big then it visits the dog.
((("something" "visits" "mouse" "+") ("something" "is" "big" "+")) -> ("something" "visits" "dog" "+"))
If the dog visits the bear then the dog is not green.
((("dog" "visits" "bear" "+")) -> ("dog" "is" "green" "-"))
If something needs the squirrel then it needs the mouse.
((("something" "needs" "squirrel" "+")) -> ("something" "needs" "mouse" "+"))
If something is blue then it visits the bear.
((("something" "is" "blue" "+")) -> ("something" "visits" "bear" "+"))
If something visits the squirrel then the squirrel needs the bear.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If something needs the dog and it does not eat the mouse then the dog visits the squirrel.
((("something" "needs" "dog" "+") ("something" "eats" "mouse" "~")) -> ("dog" "visits" "squirrel" "+"))
If something eats the bear and it is not green then the bear needs the dog.
((("something" "eats" "bear" "+") ("something" "is" "green" "~")) -> ("bear" "needs" "dog" "+"))
If something visits the squirrel then it is not round.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "round" "-"))
The squirrel is kind.
True
1
proof
[(triple12)]
("squirrel" "is" "kind" "+")
triple12
The bear eats the mouse.
False
1
inv-proof
[(triple1)]
("bear" "eats" "mouse" "+")
triple1
The mouse needs the mouse.
True
2
proof
[(((triple9) -> rule4))]
("mouse" "needs" "mouse" "+")
((triple9) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The bear does not need the mouse.
False
2
inv-proof
[(((triple5) -> rule4))]
("bear" "needs" "mouse" "-")
((triple5) -> (rule4 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The dog is not green.
True
3
proof
[(((((triple7) -> rule5)) -> rule3))]
("dog" "is" "green" "-")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not green.
("dog" "is" "green" "-")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog is green.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule3))]
("dog" "is" "green" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not green.
("dog" "is" "green" "-")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The bear needs the dog.
True
5
proof
[(((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8))]
("bear" "needs" "dog" "+")
((triple6 ((((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog is not green.
("dog" "is" "green" "-")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The bear does not need the dog.
False
5
inv-proof
[(((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8))]
("bear" "needs" "dog" "-")
((triple6 ((((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog is not green.
("dog" "is" "green" "-")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The dog visits the squirrel.
True
7
proof
[(((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7))]
("dog" "visits" "squirrel" "+")
((((triple6 ((((triple7) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The dog is not green.
("dog" "is" "green" "-")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The dog does not visit the squirrel.
False
7
inv-proof
[(((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7))]
("dog" "visits" "squirrel" "-")
((((triple6 ((((triple7) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The dog is not green.
("dog" "is" "green" "-")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The squirrel needs the bear.
True
8
proof
[(((((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7)) -> rule6))]
("squirrel" "needs" "bear" "+")
((((((triple6 ((((triple7) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The dog is not green.
("dog" "is" "green" "-")
int4
The dog visits the bear.
("dog" "visits" "bear" "+")
int5
The dog is round.
False
8
inv-proof
[(((((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7)) -> rule9))]
("dog" "is" "round" "+")
((((((triple6 ((((triple7) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule9 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The dog is not green.
("dog" "is" "green" "-")
int4
The dog visits the bear.
("dog" "visits" "bear" "+")
int5
The mouse does not visit the dog.
Unknown
inv-rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "dog" "-")
The bear visits the dog.
Unknown
rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "dog" "+")
The dog does not need the mouse.
Unknown
inv-rconc
[@1: The dog needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "mouse" "-")
The squirrel visits the bear.
Unknown
rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "visits" "bear" "+")
The mouse does not visit the bear.
Unknown
inv-rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "bear" "-")
The squirrel needs the mouse.
Unknown
rconc
[@1: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "mouse" "+")
The mouse does not need the dog.
Unknown
inv-random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The dog does not eat the squirrel.
Unknown
inv-random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
@0: The bear does not eat the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear needs the squirrel.[(triple5)] The dog does not need the squirrel.[(triple8)] The dog eats the bear.[(triple6)] The dog is blue.[(triple7)] The mouse needs the squirrel.[(triple9)] The squirrel does not eat the dog.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12)] The squirrel visits the dog.[(triple13 OR ((triple14 triple11) -> rule2))] The squirrel visits the mouse.[(triple14)] @1: The bear needs the mouse.[(((triple5) -> rule4))] The bear visits the bear.[(((triple2) -> rule5))] The dog visits the bear.[(((triple7) -> rule5))] The mouse needs the mouse.[(((triple9) -> rule4))] @2: The dog is not green.[(((((triple7) -> rule5)) -> rule3))] @3: The bear needs the dog.[(((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8))] @4: The dog visits the squirrel.[(((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7))] @5: The dog is not round.[(((((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7)) -> rule9))] The squirrel needs the bear.[(((((((triple6 ((((triple7) -> rule5)) -> rule3)) -> rule8) triple1) -> rule7)) -> rule6))]
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
triple8
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple9
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple13
((triple14 triple11) -> (rule2 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple14
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple5) -> (rule4 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple2) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple7) -> (rule5 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple9) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The dog is not green.
("dog" "is" "green" "-")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not green.
("dog" "is" "green" "-")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple6 ((((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog is not green.
("dog" "is" "green" "-")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((((triple6 ((((triple7) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The dog is not green.
("dog" "is" "green" "-")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The dog is not round.
("dog" "is" "round" "-")
((((((triple6 ((((triple7) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule9 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The dog is not green.
("dog" "is" "green" "-")
int4
The dog visits the bear.
("dog" "visits" "bear" "+")
int5
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
((((((triple6 ((((triple7) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The dog is not green.
("dog" "is" "green" "-")
int4
The dog visits the bear.
("dog" "visits" "bear" "+")
int5