The bald eagle visits the tiger. The cow eats the tiger. The squirrel is green. The tiger needs the squirrel. If someone visits the cow and they need the squirrel then they are big. If the cow needs the tiger and the tiger is big then the tiger eats the cow. If someone visits the cow then the cow eats the squirrel. If someone visits the cow then the cow needs the squirrel. If the tiger is big and the tiger is nice then the tiger is cold. If someone needs the tiger then they eat the bald eagle. If someone is green then they need the cow. If someone visits the tiger and the tiger is nice then they are big.
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone visits the cow and they need the squirrel then they are big.
((("someone" "visits" "cow" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If the cow needs the tiger and the tiger is big then the tiger eats the cow.
((("cow" "needs" "tiger" "+") ("tiger" "is" "big" "+")) -> ("tiger" "eats" "cow" "+"))
If someone visits the cow then the cow eats the squirrel.
((("someone" "visits" "cow" "+")) -> ("cow" "eats" "squirrel" "+"))
If someone visits the cow then the cow needs the squirrel.
((("someone" "visits" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If the tiger is big and the tiger is nice then the tiger is cold.
((("tiger" "is" "big" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "is" "cold" "+"))
If someone needs the tiger then they eat the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is green then they need the cow.
((("someone" "is" "green" "+")) -> ("someone" "needs" "cow" "+"))
If someone visits the tiger and the tiger is nice then they are big.
((("someone" "visits" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
The tiger needs the squirrel.
True
1
proof
[(triple4)]
("tiger" "needs" "squirrel" "+")
triple4
The squirrel is not green.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "green" "-")
triple3
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle visits the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The squirrel is green.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The squirrel needs the cow.[(((triple3) -> rule7))]
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple4
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((triple3) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1