The bald eagle chases the cat. The bald eagle is big. The bald eagle is green. The cat chases the bald eagle. The cat is nice. The cat is rough. The cat visits the dog. The dog chases the bald eagle. The dog is nice. The squirrel chases the cat. The squirrel chases the dog. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel likes the bald eagle. If the cat chases the dog and the cat visits the squirrel then the squirrel visits the dog. If something chases the dog then it is big. If the dog chases the cat then the cat chases the dog. If something is nice then it chases the cat. If something chases the cat then it is green. If something likes the cat and it chases the dog then it likes the dog. If the squirrel chases the bald eagle then the squirrel likes the dog. If something is nice then it likes the squirrel.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If the cat chases the dog and the cat visits the squirrel then the squirrel visits the dog.
((("cat" "chases" "dog" "+") ("cat" "visits" "squirrel" "+")) -> ("squirrel" "visits" "dog" "+"))
If something chases the dog then it is big.
((("something" "chases" "dog" "+")) -> ("something" "is" "big" "+"))
If the dog chases the cat then the cat chases the dog.
((("dog" "chases" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If something is nice then it chases the cat.
((("something" "is" "nice" "+")) -> ("something" "chases" "cat" "+"))
If something chases the cat then it is green.
((("something" "chases" "cat" "+")) -> ("something" "is" "green" "+"))
If something likes the cat and it chases the dog then it likes the dog.
((("something" "likes" "cat" "+") ("something" "chases" "dog" "+")) -> ("something" "likes" "dog" "+"))
If the squirrel chases the bald eagle then the squirrel likes the dog.
((("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is nice then it likes the squirrel.
((("something" "is" "nice" "+")) -> ("something" "likes" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple14 OR ((triple10) -> rule5))]
("squirrel" "is" "green" "+")
triple14
((triple10) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The cat likes the squirrel.
True
2
proof
[(((triple5) -> rule8))]
("cat" "likes" "squirrel" "+")
((triple5) -> (rule8 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat does not like the squirrel.
False
2
inv-proof
[(((triple5) -> rule8))]
("cat" "likes" "squirrel" "-")
((triple5) -> (rule8 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat chases the dog.
True
3
proof
[(((((triple9) -> rule4)) -> rule3))]
("cat" "chases" "dog" "+")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cat does not chase the dog.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule3))]
("cat" "chases" "dog" "-")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle likes the dog.
Unknown
rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "dog" "+")
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "-")
The dog chases the squirrel.
Unknown
random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3 OR ((triple1) -> rule5))] The cat chases the bald eagle.[(triple4)] The cat is nice.[(triple5)] The cat is rough.[(triple6)] The cat visits the dog.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog is nice.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel is big.[(triple12 OR ((triple11) -> rule2))] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14 OR ((triple10) -> rule5))] The squirrel likes the bald eagle.[(triple15)] @1: The cat chases the cat.[(((triple5) -> rule4))] The cat likes the squirrel.[(((triple5) -> rule8))] The dog chases the cat.[(((triple9) -> rule4))] The dog likes the squirrel.[(((triple9) -> rule8))] @2: The cat chases the dog.[(((((triple9) -> rule4)) -> rule3))] The cat is green.[(((((triple5) -> rule4)) -> rule5))] The dog is green.[(((((triple9) -> rule4)) -> rule5))] @3: The cat is big.[(((((((triple9) -> rule4)) -> rule3)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
((triple1) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The cat visits the dog.
("cat" "visits" "dog" "+")
triple7
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
((triple11) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
((triple10) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple5) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple5) -> (rule8 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple9) -> (rule4 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple9) -> (rule8 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
((((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
int3