The bald eagle is rough. The cow visits the bald eagle. The cow visits the dog. The cow visits the rabbit. The dog is cold. The dog is red. The dog is young. The dog likes the bald eagle. The dog likes the cow. The dog needs the bald eagle. The dog visits the bald eagle. The dog visits the cow. The dog visits the rabbit. The rabbit is cold. The rabbit is rough. The rabbit needs the bald eagle. If something is red then it likes the dog. If something likes the dog and it is not rough then it likes the cow. If something likes the dog then it visits the rabbit. If something needs the bald eagle then the bald eagle is red. If something is rough and it does not need the cow then the cow needs the rabbit. If the bald eagle needs the rabbit and the rabbit is cold then the bald eagle does not need the dog. If something visits the dog then it does not like the rabbit. If something visits the rabbit then it needs the rabbit. If something needs the cow and the cow visits the rabbit then it is young.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something is red then it likes the dog.
((("something" "is" "red" "+")) -> ("something" "likes" "dog" "+"))
If something likes the dog and it is not rough then it likes the cow.
((("something" "likes" "dog" "+") ("something" "is" "rough" "~")) -> ("something" "likes" "cow" "+"))
If something likes the dog then it visits the rabbit.
((("something" "likes" "dog" "+")) -> ("something" "visits" "rabbit" "+"))
If something needs the bald eagle then the bald eagle is red.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something is rough and it does not need the cow then the cow needs the rabbit.
((("something" "is" "rough" "+") ("something" "needs" "cow" "~")) -> ("cow" "needs" "rabbit" "+"))
If the bald eagle needs the rabbit and the rabbit is cold then the bald eagle does not need the dog.
((("bald eagle" "needs" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("bald eagle" "needs" "dog" "-"))
If something visits the dog then it does not like the rabbit.
((("something" "visits" "dog" "+")) -> ("something" "likes" "rabbit" "-"))
If something visits the rabbit then it needs the rabbit.
((("something" "visits" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
If something needs the cow and the cow visits the rabbit then it is young.
((("something" "needs" "cow" "+") ("cow" "visits" "rabbit" "+")) -> ("something" "is" "young" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple8)]
("dog" "likes" "bald eagle" "+")
triple8
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple11)]
("dog" "visits" "bald eagle" "-")
triple11
The dog needs the rabbit.
True
2
proof
[(((triple13) -> rule8) OR ((((((triple6) -> rule1)) -> rule3)) -> rule8))]
("dog" "needs" "rabbit" "+")
((triple13) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The dog does not like the dog.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "likes" "dog" "-")
((triple6) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bald eagle likes the dog.
True
3
proof
[(((((triple10) -> rule4)) -> rule1) OR ((((triple16) -> rule4)) -> rule1))]
("bald eagle" "likes" "dog" "+")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not like the dog.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule1) OR ((((triple16) -> rule4)) -> rule1))]
("bald eagle" "likes" "dog" "-")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle visits the rabbit.
True
4
proof
[(((((((triple10) -> rule4)) -> rule1)) -> rule3) OR ((((((triple16) -> rule4)) -> rule1)) -> rule3))]
("bald eagle" "visits" "rabbit" "+")
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
((((((triple16) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle does not visit the rabbit.
False
4
inv-proof
[(((((((triple10) -> rule4)) -> rule1)) -> rule3) OR ((((((triple16) -> rule4)) -> rule1)) -> rule3))]
("bald eagle" "visits" "rabbit" "-")
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
((((((triple16) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle needs the rabbit.
True
5
proof
[(((((((((triple10) -> rule4)) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule3)) -> rule8))]
("bald eagle" "needs" "rabbit" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bald eagle does not need the rabbit.
False
5
inv-proof
[(((((((((triple10) -> rule4)) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule3)) -> rule8))]
("bald eagle" "needs" "rabbit" "-")
((((((((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bald eagle does not need the dog.
True
7
proof
[(((((((((((triple10) -> rule4)) -> rule1)) -> rule3)) -> rule8) triple14) -> rule6) OR ((((((((((triple16) -> rule4)) -> rule1)) -> rule3)) -> rule8) triple14) -> rule6))]
("bald eagle" "needs" "dog" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
((((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The bald eagle needs the dog.
False
7
inv-proof
[(((((((((((triple10) -> rule4)) -> rule1)) -> rule3)) -> rule8) triple14) -> rule6) OR ((((((((((triple16) -> rule4)) -> rule1)) -> rule3)) -> rule8) triple14) -> rule6))]
("bald eagle" "needs" "dog" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
((((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The bald eagle likes the cow.
Unknown
rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "cow" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "is" "young" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "cow" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit is young.
Unknown
rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("rabbit" "is" "young" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The rabbit does not like the bald eagle.
Unknown
inv-random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is rough.[(triple1)] The cow visits the bald eagle.[(triple2)] The cow visits the dog.[(triple3)] The cow visits the rabbit.[(triple4)] The dog is cold.[(triple5)] The dog is red.[(triple6)] The dog is young.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog likes the cow.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog visits the bald eagle.[(triple11)] The dog visits the cow.[(triple12)] The dog visits the rabbit.[(triple13 OR ((((triple6) -> rule1)) -> rule3))] The rabbit is cold.[(triple14)] The rabbit is rough.[(triple15)] The rabbit needs the bald eagle.[(triple16)] @1: The bald eagle is red.[(((triple10) -> rule4) OR ((triple16) -> rule4))] The cow does not like the rabbit.[(((triple3) -> rule7))] The cow needs the rabbit.[(((triple4) -> rule8))] The dog likes the dog.[(((triple6) -> rule1))] The dog needs the rabbit.[(((triple13) -> rule8) OR ((((((triple6) -> rule1)) -> rule3)) -> rule8))] @2: The bald eagle likes the dog.[(((((triple10) -> rule4)) -> rule1) OR ((((triple16) -> rule4)) -> rule1))] @3: The bald eagle visits the rabbit.[(((((((triple10) -> rule4)) -> rule1)) -> rule3) OR ((((((triple16) -> rule4)) -> rule1)) -> rule3))] @4: The bald eagle needs the rabbit.[(((((((((triple10) -> rule4)) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule3)) -> rule8))] @5: The bald eagle does not need the dog.[(((((((((((triple10) -> rule4)) -> rule1)) -> rule3)) -> rule8) triple14) -> rule6) OR ((((((((((triple16) -> rule4)) -> rule1)) -> rule3)) -> rule8) triple14) -> rule6))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple2
The cow visits the dog.
("cow" "visits" "dog" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple8
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple11
The dog visits the cow.
("dog" "visits" "cow" "+")
triple12
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple13
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple15
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple16
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple10) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple16) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
((triple3) -> (rule7 % int1))
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
int1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
((triple4) -> (rule8 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple6) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple13) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
((((((triple16) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
((((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5