The bear eats the squirrel. The dog eats the lion. The dog is not nice. The lion eats the dog. The lion eats the squirrel. The lion is green. The lion is not nice. The lion is round. The lion is young. The lion visits the bear. The squirrel eats the bear. The squirrel eats the lion. The squirrel is young. The squirrel visits the dog. The squirrel visits the lion. If something eats the lion and it is green then the lion eats the dog. If something is green and it eats the dog then the dog visits the bear. If something eats the lion then the lion visits the dog. If something visits the lion and the lion visits the dog then the dog sees the squirrel. If something visits the dog then it sees the dog. If something is nice and it does not see the lion then it visits the dog. If something eats the squirrel and it does not eat the dog then the squirrel visits the bear. If the dog sees the squirrel and the squirrel is young then the squirrel visits the bear.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something eats the lion and it is green then the lion eats the dog.
((("something" "eats" "lion" "+") ("something" "is" "green" "+")) -> ("lion" "eats" "dog" "+"))
If something is green and it eats the dog then the dog visits the bear.
((("something" "is" "green" "+") ("something" "eats" "dog" "+")) -> ("dog" "visits" "bear" "+"))
If something eats the lion then the lion visits the dog.
((("something" "eats" "lion" "+")) -> ("lion" "visits" "dog" "+"))
If something visits the lion and the lion visits the dog then the dog sees the squirrel.
((("something" "visits" "lion" "+") ("lion" "visits" "dog" "+")) -> ("dog" "sees" "squirrel" "+"))
If something visits the dog then it sees the dog.
((("something" "visits" "dog" "+")) -> ("something" "sees" "dog" "+"))
If something is nice and it does not see the lion then it visits the dog.
((("something" "is" "nice" "+") ("something" "sees" "lion" "~")) -> ("something" "visits" "dog" "+"))
If something eats the squirrel and it does not eat the dog then the squirrel visits the bear.
((("something" "eats" "squirrel" "+") ("something" "eats" "dog" "~")) -> ("squirrel" "visits" "bear" "+"))
If the dog sees the squirrel and the squirrel is young then the squirrel visits the bear.
((("dog" "sees" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "visits" "bear" "+"))
The squirrel eats the bear.
True
1
proof
[(triple11)]
("squirrel" "eats" "bear" "+")
triple11
The lion is not round.
False
1
inv-proof
[(triple8)]
("lion" "is" "round" "-")
triple8
The lion visits the dog.
True
2
proof
[(((triple12) -> rule3) OR ((triple2) -> rule3))]
("lion" "visits" "dog" "+")
((triple12) -> (rule3 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The squirrel does not see the dog.
False
2
inv-proof
[(((triple14) -> rule5))]
("squirrel" "sees" "dog" "-")
((triple14) -> (rule5 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The lion sees the dog.
True
3
proof
[(((((triple12) -> rule3)) -> rule5) OR ((((triple2) -> rule3)) -> rule5))]
("lion" "sees" "dog" "+")
((((triple12) -> (rule3 % int2))) -> (rule5 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The dog does not see the squirrel.
False
4
inv-proof
[(((triple15 ((triple12) -> rule3)) -> rule4) OR ((triple15 ((triple2) -> rule3)) -> rule4))]
("dog" "sees" "squirrel" "-")
((triple15 ((triple12) -> (rule3 % int2))) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
((triple15 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The squirrel visits the bear.
True
6
proof
[(((((triple15 ((triple12) -> rule3)) -> rule4) triple13) -> rule8) OR ((((triple15 ((triple2) -> rule3)) -> rule4) triple13) -> rule8))]
("squirrel" "visits" "bear" "+")
((((triple15 ((triple12) -> (rule3 % int3))) -> (rule4 % int2)) triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
((((triple15 ((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
The squirrel does not visit the bear.
False
6
inv-proof
[(((((triple15 ((triple12) -> rule3)) -> rule4) triple13) -> rule8) OR ((((triple15 ((triple2) -> rule3)) -> rule4) triple13) -> rule8))]
("squirrel" "visits" "bear" "-")
((((triple15 ((triple12) -> (rule3 % int3))) -> (rule4 % int2)) triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
((((triple15 ((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
The bear does not see the dog.
Unknown
inv-rconc
[@2: The bear sees the dog.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("bear" "sees" "dog" "-")
The dog sees the dog.
Unknown
rconc
[@2: The dog sees the dog.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("dog" "sees" "dog" "+")
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "dog" "-")
The bear visits the dog.
Unknown
rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "dog" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The bear sees the lion.
Unknown
random
[@0: The bear sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "lion" "+")
@0: The bear eats the squirrel.[(triple1)] The dog eats the lion.[(triple2)] The dog is not nice.[(triple3)] The lion eats the dog.[(triple4)] The lion eats the squirrel.[(triple5)] The lion is green.[(triple6)] The lion is not nice.[(triple7)] The lion is round.[(triple8)] The lion is young.[(triple9)] The lion visits the bear.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is young.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The dog visits the bear.[(((triple6 triple4) -> rule2))] The lion visits the dog.[(((triple12) -> rule3) OR ((triple2) -> rule3))] The squirrel sees the dog.[(((triple14) -> rule5))] @2: The dog sees the squirrel.[(((triple15 ((triple12) -> rule3)) -> rule4) OR ((triple15 ((triple2) -> rule3)) -> rule4))] The lion sees the dog.[(((((triple12) -> rule3)) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] @3: The squirrel visits the bear.[(((((triple15 ((triple12) -> rule3)) -> rule4) triple13) -> rule8) OR ((((triple15 ((triple2) -> rule3)) -> rule4) triple13) -> rule8))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The dog is not nice.
("dog" "is" "nice" "-")
triple3
The lion eats the dog.
("lion" "eats" "dog" "+")
triple4
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is not nice.
("lion" "is" "nice" "-")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion is young.
("lion" "is" "young" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple14
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple6 triple4) -> (rule2 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
((triple12) -> (rule3 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
((triple14) -> (rule5 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple15 ((triple12) -> (rule3 % int2))) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
((triple15 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
((((triple12) -> (rule3 % int2))) -> (rule5 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((((triple15 ((triple12) -> (rule3 % int3))) -> (rule4 % int2)) triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
((((triple15 ((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3