The bald eagle chases the cow. The bald eagle is young. The bald eagle needs the cow. The bald eagle needs the dog. The bald eagle sees the cow. The bald eagle sees the dog. The cow chases the dog. The cow is rough. The cow needs the bald eagle. The dog chases the cow. The dog is cold. The dog is green. The dog is nice. The dog needs the bald eagle. The dog sees the cow. If someone needs the cow and the cow is cold then the cow chases the dog. If the cow chases the dog and the cow needs the bald eagle then the dog sees the cow. If someone sees the cow then the cow sees the bald eagle. If someone sees the dog and the dog chases the cow then they need the cow. If the cow needs the bald eagle and the cow is rough then the cow is cold. If someone sees the dog then the dog needs the bald eagle. If someone sees the bald eagle then they chase the bald eagle. If someone chases the dog then the dog is rough.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone needs the cow and the cow is cold then the cow chases the dog.
((("someone" "needs" "cow" "+") ("cow" "is" "cold" "+")) -> ("cow" "chases" "dog" "+"))
If the cow chases the dog and the cow needs the bald eagle then the dog sees the cow.
((("cow" "chases" "dog" "+") ("cow" "needs" "bald eagle" "+")) -> ("dog" "sees" "cow" "+"))
If someone sees the cow then the cow sees the bald eagle.
((("someone" "sees" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone sees the dog and the dog chases the cow then they need the cow.
((("someone" "sees" "dog" "+") ("dog" "chases" "cow" "+")) -> ("someone" "needs" "cow" "+"))
If the cow needs the bald eagle and the cow is rough then the cow is cold.
((("cow" "needs" "bald eagle" "+") ("cow" "is" "rough" "+")) -> ("cow" "is" "cold" "+"))
If someone sees the dog then the dog needs the bald eagle.
((("someone" "sees" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone sees the bald eagle then they chase the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the dog then the dog is rough.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "rough" "+"))
The bald eagle needs the cow.
True
1
proof
[(triple3 OR ((triple6 triple10) -> rule4))]
("bald eagle" "needs" "cow" "+")
triple3
((triple6 triple10) -> (rule4 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The dog is not cold.
False
1
inv-proof
[(triple11)]
("dog" "is" "cold" "-")
triple11
The dog does not need the cow.
Unknown
inv-rconc
[@1: The dog needs the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "cow" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cow.[(triple3 OR ((triple6 triple10) -> rule4))] The bald eagle needs the dog.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the dog.[(triple6)] The cow chases the dog.[(triple7 OR ((triple3 ((triple9 triple8) -> rule5)) -> rule1) OR ((((triple6 triple10) -> rule4) ((triple9 triple8) -> rule5)) -> rule1))] The cow is rough.[(triple8)] The cow needs the bald eagle.[(triple9)] The dog chases the cow.[(triple10)] The dog is cold.[(triple11)] The dog is green.[(triple12)] The dog is nice.[(triple13)] The dog needs the bald eagle.[(triple14 OR ((triple6) -> rule6))] The dog sees the cow.[(triple15 OR ((triple7 triple9) -> rule2) OR ((((triple3 ((triple9 triple8) -> rule5)) -> rule1) triple9) -> rule2) OR ((((((triple6 triple10) -> rule4) ((triple9 triple8) -> rule5)) -> rule1) triple9) -> rule2))] @1: The cow is cold.[(((triple9 triple8) -> rule5))] The cow sees the bald eagle.[(((triple15) -> rule3) OR ((triple5) -> rule3) OR ((((triple7 triple9) -> rule2)) -> rule3) OR ((((((triple3 ((triple9 triple8) -> rule5)) -> rule1) triple9) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule4) ((triple9 triple8) -> rule5)) -> rule1) triple9) -> rule2)) -> rule3))] The dog is rough.[(((triple7) -> rule8) OR ((((triple3 ((triple9 triple8) -> rule5)) -> rule1)) -> rule8) OR ((((((triple6 triple10) -> rule4) ((triple9 triple8) -> rule5)) -> rule1)) -> rule8))] @2: The cow chases the bald eagle.[(((((triple15) -> rule3)) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((((triple7 triple9) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple3 ((triple9 triple8) -> rule5)) -> rule1) triple9) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple6 triple10) -> rule4) ((triple9 triple8) -> rule5)) -> rule1) triple9) -> rule2)) -> rule3)) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
((triple6 triple10) -> (rule4 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple6
The cow chases the dog.
("cow" "chases" "dog" "+")
triple7
((triple3 ((triple9 triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple6 triple10) -> (rule4 % int3)) ((triple9 triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
The dog chases the cow.
("dog" "chases" "cow" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is nice.
("dog" "is" "nice" "+")
triple13
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple14
((triple6) -> (rule6 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
((triple7 triple9) -> (rule2 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
((((triple3 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple6 triple10) -> (rule4 % int4)) ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int4
The cow is cold.
("cow" "is" "cold" "+")
((triple9 triple8) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple15) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
((triple5) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
((((triple7 triple9) -> (rule2 % int2))) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
((((((triple3 ((triple9 triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((((((triple6 triple10) -> (rule4 % int5)) ((triple9 triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int5
The dog is rough.
("dog" "is" "rough" "+")
((triple7) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple3 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple6 triple10) -> (rule4 % int4)) ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((((triple15) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
((((((triple7 triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The dog sees the cow.
("dog" "sees" "cow" "+")
int3
((((((((triple3 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4)) triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The dog sees the cow.
("dog" "sees" "cow" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
The cow is cold.
("cow" "is" "cold" "+")
int5
((((((((((triple6 triple10) -> (rule4 % int6)) ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4)) triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The dog sees the cow.
("dog" "sees" "cow" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
The cow is cold.
("cow" "is" "cold" "+")
int5
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int6