The bald eagle chases the tiger. The bald eagle is kind. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The squirrel does not need the bald eagle. The squirrel needs the tiger. The tiger chases the squirrel. The tiger is blue. The tiger is kind. The tiger is not round. The tiger likes the squirrel. The tiger needs the bald eagle. If the bald eagle chases the squirrel and the bald eagle does not like the tiger then the bald eagle needs the tiger. If someone is cold and they need the tiger then the tiger is blue. If someone is rough and they need the bald eagle then the bald eagle chases the tiger. If someone needs the squirrel and they chase the tiger then they are not rough. If someone is kind and they like the tiger then the tiger chases the bald eagle. If someone chases the squirrel and they do not like the tiger then the squirrel does not like the bald eagle. If someone likes the tiger and they are not round then they do not like the bald eagle. If someone likes the tiger and they are not cold then they do not need the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If the bald eagle chases the squirrel and the bald eagle does not like the tiger then the bald eagle needs the tiger.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "likes" "tiger" "~")) -> ("bald eagle" "needs" "tiger" "+"))
If someone is cold and they need the tiger then the tiger is blue.
((("someone" "is" "cold" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If someone is rough and they need the bald eagle then the bald eagle chases the tiger.
((("someone" "is" "rough" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If someone needs the squirrel and they chase the tiger then they are not rough.
((("someone" "needs" "squirrel" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "is" "rough" "-"))
If someone is kind and they like the tiger then the tiger chases the bald eagle.
((("someone" "is" "kind" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If someone chases the squirrel and they do not like the tiger then the squirrel does not like the bald eagle.
((("someone" "chases" "squirrel" "+") ("someone" "likes" "tiger" "~")) -> ("squirrel" "likes" "bald eagle" "-"))
If someone likes the tiger and they are not round then they do not like the bald eagle.
((("someone" "likes" "tiger" "+") ("someone" "is" "round" "~")) -> ("someone" "likes" "bald eagle" "-"))
If someone likes the tiger and they are not cold then they do not need the bald eagle.
((("someone" "likes" "tiger" "+") ("someone" "is" "cold" "~")) -> ("someone" "needs" "bald eagle" "-"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "bald eagle" "-")
triple12
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
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 tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The squirrel does not need the bald eagle.[(triple5)] The squirrel needs the tiger.[(triple6)] The tiger chases the squirrel.[(triple7)] The tiger is blue.[(triple8)] The tiger is kind.[(triple9)] The tiger is not round.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle is not rough.[(((triple4 triple1) -> rule4))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple5
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple6
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is not round.
("tiger" "is" "round" "-")
triple10
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple11
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple12
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
((triple4 triple1) -> (rule4 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1