The bald eagle eats the squirrel. The bald eagle likes the tiger. The bear chases the bald eagle. The bear is cold. The squirrel chases the tiger. The squirrel likes the tiger. The tiger chases the bear. The tiger eats the squirrel. The tiger is not nice. The tiger is young. If something is nice and it chases the bald eagle then the bald eagle is not round. If something is cold and it does not chase the bear then the bear chases the tiger. If something likes the tiger and it eats the squirrel then the squirrel eats the tiger.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is cold.
("bear" "is" "cold" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is young.
("tiger" "is" "young" "+")
If something is nice and it chases the bald eagle then the bald eagle is not round.
((("something" "is" "nice" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "-"))
If something is cold and it does not chase the bear then the bear chases the tiger.
((("something" "is" "cold" "+") ("something" "chases" "bear" "~")) -> ("bear" "chases" "tiger" "+"))
If something likes the tiger and it eats the squirrel then the squirrel eats the tiger.
((("something" "likes" "tiger" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
The tiger is young.
True
1
proof
[(triple10)]
("tiger" "is" "young" "+")
triple10
The squirrel does not like the tiger.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "tiger" "-")
triple6
The bear does not chase the tiger.
Unknown
inv-rconc
[@1: The bear chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "tiger" "-")
The squirrel likes the bald eagle.
Unknown
random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is cold.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel likes the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is not nice.[(triple9)] The tiger is young.[(triple10)] @1: The squirrel eats the tiger.[(((triple2 triple1) -> rule3))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple8
The tiger is not nice.
("tiger" "is" "nice" "-")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((triple2 triple1) -> (rule3 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1