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