The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is kind. The bald eagle is nice. The bald eagle likes the cow. The cat chases the cow. The cat eats the bald eagle. The cat eats the cow. The cat is blue. The cat is kind. The cat is nice. The cow chases the bald eagle. The cow eats the bald eagle. The cow eats the cat. The cow is round. If someone likes the bald eagle and they chase the cow then they chase the bald eagle. If someone likes the cat then they like the bald eagle. If someone is nice then they chase the cat. If someone eats the cat and the cat is nice then they eat the cow. If the cat eats the bald eagle then the cat chases the bald eagle. If someone eats the bald eagle then the bald eagle likes the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is round.
("cow" "is" "round" "+")
If someone likes the bald eagle and they chase the cow then they chase the bald eagle.
((("someone" "likes" "bald eagle" "+") ("someone" "chases" "cow" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone likes the cat then they like the bald eagle.
((("someone" "likes" "cat" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is nice then they chase the cat.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "cat" "+"))
If someone eats the cat and the cat is nice then they eat the cow.
((("someone" "eats" "cat" "+") ("cat" "is" "nice" "+")) -> ("someone" "eats" "cow" "+"))
If the cat eats the bald eagle then the cat chases the bald eagle.
((("cat" "eats" "bald eagle" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle likes the cat.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple2)]
("bald eagle" "chases" "cow" "+")
triple2
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple12)]
("cow" "chases" "bald eagle" "-")
triple12
The bald eagle likes the cat.
True
2
proof
[(((triple13) -> rule6) OR ((triple7) -> rule6))]
("bald eagle" "likes" "cat" "+")
((triple13) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple11) -> rule3))]
("cat" "chases" "cat" "-")
((triple11) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The bald eagle likes the bald eagle.
True
3
proof
[(((((triple13) -> rule6)) -> rule2) OR ((((triple7) -> rule6)) -> rule2))]
("bald eagle" "likes" "bald eagle" "+")
((((triple13) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle does not like the bald eagle.
False
3
inv-proof
[(((((triple13) -> rule6)) -> rule2) OR ((((triple7) -> rule6)) -> rule2))]
("bald eagle" "likes" "bald eagle" "-")
((((triple13) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle chases the bald eagle.
True
5
proof
[(((((((triple13) -> rule6)) -> rule2) triple2) -> rule1) OR ((((((triple7) -> rule6)) -> rule2) triple2) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((((((triple13) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
The bald eagle does not chase the bald eagle.
False
5
inv-proof
[(((((((triple13) -> rule6)) -> rule2) triple2) -> rule1) OR ((((((triple7) -> rule6)) -> rule2) triple2) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((((((triple13) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The cat does not like the bald eagle.
Unknown
inv-rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "bald eagle" "-")
The cow chases the cat.
Unknown
rconc
[@1: The cow chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
@0: The bald eagle chases the cat.[(triple1 OR ((triple4) -> rule3))] The bald eagle chases the cow.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the cow.[(triple5)] The cat chases the cow.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat eats the cow.[(triple8)] The cat is blue.[(triple9)] The cat is kind.[(triple10)] The cat is nice.[(triple11)] The cow chases the bald eagle.[(triple12)] The cow eats the bald eagle.[(triple13)] The cow eats the cat.[(triple14)] The cow is round.[(triple15)] @1: The bald eagle likes the cat.[(((triple13) -> rule6) OR ((triple7) -> rule6))] The cat chases the bald eagle.[(((triple7) -> rule5))] The cat chases the cat.[(((triple11) -> rule3))] The cow eats the cow.[(((triple14 triple11) -> rule4))] @2: The bald eagle likes the bald eagle.[(((((triple13) -> rule6)) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] @3: The bald eagle chases the bald eagle.[(((((((triple13) -> rule6)) -> rule2) triple2) -> rule1) OR ((((((triple7) -> rule6)) -> rule2) triple2) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((triple4) -> (rule3 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple5
The cat chases the cow.
("cat" "chases" "cow" "+")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat eats the cow.
("cat" "eats" "cow" "+")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple9
The cat is kind.
("cat" "is" "kind" "+")
triple10
The cat is nice.
("cat" "is" "nice" "+")
triple11
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple12
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple13
The cow eats the cat.
("cow" "eats" "cat" "+")
triple14
The cow is round.
("cow" "is" "round" "+")
triple15
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((triple13) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple7) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple11) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple14 triple11) -> (rule4 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple13) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((triple13) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int3