The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle needs the cow. The bald eagle needs the tiger. The cow chases the tiger. The dog chases the tiger. The dog is cold. The dog is round. The dog needs the cow. The tiger chases the dog. The tiger is not red. The tiger does not need the dog. If someone eats the tiger then they chase the cow. If someone needs the tiger then the tiger needs the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
If someone eats the tiger then they chase the cow.
((("someone" "eats" "tiger" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the tiger then the tiger needs the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
The cow chases the tiger.
True
1
proof
[(triple9)]
("cow" "chases" "tiger" "+")
triple9
The bald eagle does not chase the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "dog" "-")
triple1
The tiger needs the bald eagle.
True
2
proof
[(((triple8) -> rule2))]
("tiger" "needs" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger does not need the bald eagle.
False
2
inv-proof
[(((triple8) -> rule2))]
("tiger" "needs" "bald eagle" "-")
((triple8) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The dog does not chase the cow.
Unknown
inv-rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "cow" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the cow.[(triple7)] The bald eagle needs the tiger.[(triple8)] The cow chases the tiger.[(triple9)] The dog chases the tiger.[(triple10)] The dog is cold.[(triple11)] The dog is round.[(triple12)] The dog needs the cow.[(triple13)] The tiger chases the dog.[(triple14)] The tiger does not need the dog.[(triple16)] The tiger is not red.[(triple15)] @1: The tiger needs the bald eagle.[(((triple8) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple7
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple8
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple9
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog is round.
("dog" "is" "round" "+")
triple12
The dog needs the cow.
("dog" "needs" "cow" "+")
triple13
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple14
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
triple16
The tiger is not red.
("tiger" "is" "red" "-")
triple15
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1