The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is kind. The bald eagle is nice. The bald eagle likes the cow. The cat is kind. The cow is kind. The cow likes the cat. The cow sees the rabbit. The rabbit chases the bald eagle. The rabbit is kind. If someone chases the cat and they like the bald eagle then the bald eagle likes the cat. If someone chases the cow then the cow chases the cat. If someone chases the rabbit and they like the bald eagle then the bald eagle sees the cow. If someone is big and rough then they chase the rabbit. If someone chases the rabbit and they are nice then the rabbit is nice. If the cow chases the bald eagle and the cow is green then the bald eagle likes the rabbit. If someone is nice and they see the cow then they chase the cat. If someone likes the cat then they like the bald eagle. If the bald eagle chases the rabbit and the rabbit likes the bald eagle then the rabbit chases the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
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 is kind.
("cat" "is" "kind" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone chases the cat and they like the bald eagle then the bald eagle likes the cat.
((("someone" "chases" "cat" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If someone chases the cow then the cow chases the cat.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "cat" "+"))
If someone chases the rabbit and they like the bald eagle then the bald eagle sees the cow.
((("someone" "chases" "rabbit" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "cow" "+"))
If someone is big and rough then they chase the rabbit.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the rabbit and they are nice then the rabbit is nice.
((("someone" "chases" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("rabbit" "is" "nice" "+"))
If the cow chases the bald eagle and the cow is green then the bald eagle likes the rabbit.
((("cow" "chases" "bald eagle" "+") ("cow" "is" "green" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone is nice and they see the cow then they chase the cat.
((("someone" "is" "nice" "+") ("someone" "sees" "cow" "+")) -> ("someone" "chases" "cat" "+"))
If someone likes the cat then they like the bald eagle.
((("someone" "likes" "cat" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the bald eagle chases the rabbit and the rabbit likes the bald eagle then the rabbit chases the cow.
((("bald eagle" "chases" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("rabbit" "chases" "cow" "+"))
The bald eagle is nice.
True
1
proof
[(triple4)]
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not kind.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "kind" "-")
triple3
The cow chases the cat.
True
2
proof
[(((triple1) -> rule2))]
("cow" "chases" "cat" "+")
((triple1) -> (rule2 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow does not chase the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "chases" "cat" "-")
((triple1) -> (rule2 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The bald eagle likes the cat.
True
5
proof
[(((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1))]
("bald eagle" "likes" "cat" "+")
((((triple1) -> (rule2 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow chases the cat.
("cow" "chases" "cat" "+")
int3
The bald eagle does not like the cat.
False
5
inv-proof
[(((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1))]
("bald eagle" "likes" "cat" "-")
((((triple1) -> (rule2 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow chases the cat.
("cow" "chases" "cat" "+")
int3
The bald eagle likes the bald eagle.
True
6
proof
[(((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8))]
("bald eagle" "likes" "bald eagle" "+")
((((((triple1) -> (rule2 % int4)) ((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule8 % 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 cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The cow chases the cat.
("cow" "chases" "cat" "+")
int4
The bald eagle does not like the bald eagle.
False
6
inv-proof
[(((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8))]
("bald eagle" "likes" "bald eagle" "-")
((((((triple1) -> (rule2 % int4)) ((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule8 % 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 cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The cow chases the cat.
("cow" "chases" "cat" "+")
int4
The bald eagle sees the cow.
True
8
proof
[(((triple2 ((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8)) -> rule3))]
("bald eagle" "sees" "cow" "+")
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
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 cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int4
The cow chases the cat.
("cow" "chases" "cat" "+")
int5
The bald eagle does not see the cow.
False
8
inv-proof
[(((triple2 ((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8)) -> rule3))]
("bald eagle" "sees" "cow" "-")
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
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 cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int4
The cow chases the cat.
("cow" "chases" "cat" "+")
int5
The bald eagle chases the cat.
True
10
proof
[(((triple4 ((triple2 ((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8)) -> rule3)) -> rule7))]
("bald eagle" "chases" "cat" "+")
((triple4 ((triple2 ((((((triple1) -> (rule2 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int5
The cow chases the cat.
("cow" "chases" "cat" "+")
int6
The bald eagle does not chase the cat.
False
10
inv-proof
[(((triple4 ((triple2 ((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8)) -> rule3)) -> rule7))]
("bald eagle" "chases" "cat" "-")
((triple4 ((triple2 ((((((triple1) -> (rule2 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int5
The cow chases the cat.
("cow" "chases" "cat" "+")
int6
The cow does not chase the rabbit.
Unknown
inv-rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "rabbit" "-")
The rabbit chases the cow.
Unknown
rconc
[@2: The rabbit chases the cow.[CWA. Example of deepest failure = (rule9 <- rule8 <- FAIL)]]
("rabbit" "chases" "cow" "+")
The rabbit does not chase the cat.
Unknown
inv-rconc
[@1: The rabbit chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "cat" "-")
The cat chases the rabbit.
Unknown
rconc
[@1: The cat chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "chases" "rabbit" "+")
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "cat" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cat sees the rabbit.
Unknown
random
[@0: The cat sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "rabbit" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The rabbit sees the bald eagle.
Unknown
random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the cow.[(triple5)] The cat is kind.[(triple6)] The cow is kind.[(triple7)] The cow likes the cat.[(triple8)] The cow sees the rabbit.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit is kind.[(triple11)] @1: The cow chases the cat.[(((triple1) -> rule2))] The cow likes the bald eagle.[(((triple8) -> rule8))] The rabbit is nice.[(((triple2 triple4) -> rule5))] @2: The bald eagle likes the cat.[(((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1))] @3: The bald eagle likes the bald eagle.[(((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8))] @4: The bald eagle sees the cow.[(((triple2 ((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8)) -> rule3))] @5: The bald eagle chases the cat.[(((triple4 ((triple2 ((((((triple1) -> rule2) ((triple8) -> rule8)) -> rule1)) -> rule8)) -> rule3)) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
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 is kind.
("cat" "is" "kind" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow likes the cat.
("cow" "likes" "cat" "+")
triple8
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple1) -> (rule2 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple8) -> (rule8 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple2 triple4) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((((triple1) -> (rule2 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow chases the cat.
("cow" "chases" "cat" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((((triple1) -> (rule2 % int4)) ((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule8 % 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 cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The cow chases the cat.
("cow" "chases" "cat" "+")
int4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
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 cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int4
The cow chases the cat.
("cow" "chases" "cat" "+")
int5
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple4 ((triple2 ((((((triple1) -> (rule2 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int5
The cow chases the cat.
("cow" "chases" "cat" "+")
int6