The bald eagle chases the rabbit. The bald eagle likes the rabbit. The cow chases the squirrel. The cow likes the bald eagle. The cow likes the squirrel. The rabbit chases the cow. The rabbit is kind. The rabbit is young. The rabbit visits the bald eagle. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel chases the bald eagle. The squirrel is kind. The squirrel likes the cow. The squirrel likes the rabbit. The squirrel visits the cow. If something is big then it chases the bald eagle. If something visits the cow and it likes the squirrel then it is kind. If something is young then it is big. If the cow likes the bald eagle and the cow is green then the cow is kind. If something is green and it likes the cow then the cow likes the rabbit. If the rabbit chases the bald eagle then the bald eagle is young.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something is big then it chases the bald eagle.
((("something" "is" "big" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the cow and it likes the squirrel then it is kind.
((("something" "visits" "cow" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If the cow likes the bald eagle and the cow is green then the cow is kind.
((("cow" "likes" "bald eagle" "+") ("cow" "is" "green" "+")) -> ("cow" "is" "kind" "+"))
If something is green and it likes the cow then the cow likes the rabbit.
((("something" "is" "green" "+") ("something" "likes" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If the rabbit chases the bald eagle then the bald eagle is young.
((("rabbit" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
The squirrel likes the rabbit.
True
1
proof
[(triple15)]
("squirrel" "likes" "rabbit" "+")
triple15
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "rabbit" "-")
triple2
The rabbit is big.
True
2
proof
[(((triple8) -> rule3))]
("rabbit" "is" "big" "+")
((triple8) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is not big.
False
2
inv-proof
[(((triple8) -> rule3))]
("rabbit" "is" "big" "-")
((triple8) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit chases the bald eagle.
True
3
proof
[(((((triple8) -> rule3)) -> rule1))]
("rabbit" "chases" "bald eagle" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit does not chase the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule1))]
("rabbit" "chases" "bald eagle" "-")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle is young.
True
4
proof
[(((((((triple8) -> rule3)) -> rule1)) -> rule6))]
("bald eagle" "is" "young" "+")
((((((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle is not young.
False
4
inv-proof
[(((((((triple8) -> rule3)) -> rule1)) -> rule6))]
("bald eagle" "is" "young" "-")
((((((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle is big.
True
5
proof
[(((((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule3))]
("bald eagle" "is" "big" "+")
((((((((triple8) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The bald eagle is not big.
False
5
inv-proof
[(((((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule3))]
("bald eagle" "is" "big" "-")
((((((((triple8) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The bald eagle chases the bald eagle.
True
6
proof
[(((((((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule3)) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple8) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The bald eagle does not chase the bald eagle.
False
6
inv-proof
[(((((((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule3)) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((((((((((triple8) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "kind" "-")
The cow chases the bald eagle.
Unknown
rconc
[@2: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "big" "-")
The cow likes the rabbit.
Unknown
rconc
[@1: The cow likes the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "rabbit" "+")
The cow is not big.
Unknown
inv-rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "big" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The rabbit chases the squirrel.
Unknown
random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "+")
The cow does not chase the rabbit.
Unknown
inv-random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "-")
The cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cow chases the squirrel.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow likes the squirrel.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is young.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The rabbit visits the cow.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel likes the rabbit.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The rabbit is big.[(((triple8) -> rule3))] @2: The rabbit chases the bald eagle.[(((((triple8) -> rule3)) -> rule1))] @3: The bald eagle is young.[(((((((triple8) -> rule3)) -> rule1)) -> rule6))] @4: The bald eagle is big.[(((((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule3))] @5: The bald eagle chases the bald eagle.[(((((((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule3)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple10
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple11
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The rabbit is big.
("rabbit" "is" "big" "+")
((triple8) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((((((triple8) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple8) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5