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