The cat chases the dog. The cat eats the squirrel. The cat is big. The cat is blue. The cat is red. The cat likes the dog. The cat likes the squirrel. The dog eats the cat. The dog eats the squirrel. The dog is blue. The dog is young. The dog likes the cat. The dog likes the squirrel. The squirrel chases the cat. The squirrel chases the dog. If something is red then it likes the squirrel. If something is blue then it is big. If something chases the squirrel then it is red. If something chases the cat and it is round then it eats the dog. If something likes the cat and it likes the squirrel then the squirrel is red. If something chases the squirrel then it is red. If something is big and it likes the dog then the dog chases the cat. If something chases the cat then it is round.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If something is red then it likes the squirrel.
((("something" "is" "red" "+")) -> ("something" "likes" "squirrel" "+"))
If something is blue then it is big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something chases the squirrel then it is red.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something chases the cat and it is round then it eats the dog.
((("something" "chases" "cat" "+") ("something" "is" "round" "+")) -> ("something" "eats" "dog" "+"))
If something likes the cat and it likes the squirrel then the squirrel is red.
((("something" "likes" "cat" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If something chases the squirrel then it is red.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something is big and it likes the dog then the dog chases the cat.
((("something" "is" "big" "+") ("something" "likes" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If something chases the cat then it is round.
((("something" "chases" "cat" "+")) -> ("something" "is" "round" "+"))
The cat chases the dog.
True
1
proof
[(triple1)]
("cat" "chases" "dog" "+")
triple1
The dog is not young.
False
1
inv-proof
[(triple11)]
("dog" "is" "young" "-")
triple11
The dog chases the cat.
True
3
proof
[(((triple3 triple6) -> rule7) OR ((((triple4) -> rule2) triple6) -> rule7))]
("dog" "chases" "cat" "+")
((triple3 triple6) -> (rule7 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
((((triple4) -> (rule2 % int2)) triple6) -> (rule7 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The squirrel is not round.
False
2
inv-proof
[(((triple14) -> rule8))]
("squirrel" "is" "round" "-")
((triple14) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel eats the dog.
True
4
proof
[(((triple14 ((triple14) -> rule8)) -> rule4))]
("squirrel" "eats" "dog" "+")
((triple14 ((triple14) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not eat the dog.
False
4
inv-proof
[(((triple14 ((triple14) -> rule8)) -> rule4))]
("squirrel" "eats" "dog" "-")
((triple14 ((triple14) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog eats the dog.
True
8
proof
[(((((triple3 triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((triple3 triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4))]
("dog" "eats" "dog" "+")
((((triple3 triple6) -> (rule7 % int3)) ((((triple3 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((triple3 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
((((triple3 triple6) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3)) triple6) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The dog chases the cat.
("dog" "chases" "cat" "+")
int4
((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The dog does not eat the dog.
False
8
inv-proof
[(((((triple3 triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((triple3 triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4))]
("dog" "eats" "dog" "-")
((((triple3 triple6) -> (rule7 % int3)) ((((triple3 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((triple3 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
((((triple3 triple6) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3)) triple6) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The dog chases the cat.
("dog" "chases" "cat" "+")
int4
((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The cat does not eat the dog.
Unknown
inv-rconc
[@1: The cat eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "dog" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "round" "+")
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "red" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "big" "+")
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 dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The dog chases the squirrel.
Unknown
random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "+")
@0: The cat chases the dog.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is big.[(triple3 OR ((triple4) -> rule2))] The cat is blue.[(triple4)] The cat is red.[(triple5)] The cat likes the dog.[(triple6)] The cat likes the squirrel.[(triple7 OR ((triple5) -> rule1))] The dog eats the cat.[(triple8)] The dog eats the squirrel.[(triple9)] The dog is blue.[(triple10)] The dog is young.[(triple11)] The dog likes the cat.[(triple12)] The dog likes the squirrel.[(triple13)] The squirrel chases the cat.[(triple14)] The squirrel chases the dog.[(triple15)] @1: The dog chases the cat.[(((triple3 triple6) -> rule7) OR ((((triple4) -> rule2) triple6) -> rule7))] The dog is big.[(((triple10) -> rule2))] The squirrel is red.[(((triple12 triple13) -> rule5))] The squirrel is round.[(((triple14) -> rule8))] @2: The dog is round.[(((((triple3 triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8))] The squirrel eats the dog.[(((triple14 ((triple14) -> rule8)) -> rule4))] The squirrel likes the squirrel.[(((((triple12 triple13) -> rule5)) -> rule1))] @3: The dog eats the dog.[(((((triple3 triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((triple3 triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
((triple4) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple7
((triple5) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The dog likes the cat.
("dog" "likes" "cat" "+")
triple12
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple13
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple14
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple15
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple3 triple6) -> (rule7 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
((((triple4) -> (rule2 % int2)) triple6) -> (rule7 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((triple10) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple12 triple13) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple14) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple3 triple6) -> (rule7 % int2))) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
((((((triple4) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple14 ((triple14) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((triple12 triple13) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple3 triple6) -> (rule7 % int3)) ((((triple3 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((triple3 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
((((triple3 triple6) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3)) triple6) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The dog chases the cat.
("dog" "chases" "cat" "+")
int4
((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4)) triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4