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