The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle needs the tiger. The squirrel is kind. The squirrel is red. The squirrel needs the bald eagle. The tiger chases the bald eagle. The tiger is young. If something is big and young then it needs the tiger. If something needs the squirrel and the squirrel is rough then the squirrel needs the bald eagle. If something eats the tiger then the tiger eats the squirrel. If something is big then it eats the squirrel. If something eats the tiger and the tiger needs the bald eagle then it chases the bald eagle. If something is big and rough then it eats the squirrel.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is big and young then it needs the tiger.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "needs" "tiger" "+"))
If something needs the squirrel and the squirrel is rough then the squirrel needs the bald eagle.
((("something" "needs" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If something eats the tiger then the tiger eats the squirrel.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "squirrel" "+"))
If something is big then it eats the squirrel.
((("something" "is" "big" "+")) -> ("something" "eats" "squirrel" "+"))
If something eats the tiger and the tiger needs the bald eagle then it chases the bald eagle.
((("something" "eats" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is big and rough then it eats the squirrel.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "squirrel" "+"))
The bald eagle is young.
True
1
proof
[(triple5)]
("bald eagle" "is" "young" "+")
triple5
The bald eagle is not big.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "big" "-")
triple4
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the squirrel.[(triple2 OR ((triple4) -> rule4))] The bald eagle eats the tiger.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The bald eagle needs the tiger.[(triple7 OR ((triple4 triple5) -> rule1))] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger is young.[(triple12)] @1: The tiger eats the squirrel.[(((triple3) -> rule3))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
((triple4) -> (rule4 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple6
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple7
((triple4 triple5) -> (rule1 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
((triple3) -> (rule3 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1