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