The bald eagle is round. The lion eats the bald eagle. The lion needs the bald eagle. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger eats the lion. The tiger needs the lion. If something eats the bald eagle then the bald eagle eats the lion. If the lion is young then the lion does not need the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something eats the bald eagle then the bald eagle eats the lion.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the lion is young then the lion does not need the bald eagle.
((("lion" "is" "young" "+")) -> ("lion" "needs" "bald eagle" "-"))
The tiger eats the lion.
True
1
proof
[(triple6)]
("tiger" "eats" "lion" "+")
triple6
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The bald eagle eats the lion.
True
2
proof
[(((triple2) -> rule1) OR ((triple5) -> rule1))]
("bald eagle" "eats" "lion" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((triple5) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle does not eat the lion.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple5) -> rule1))]
("bald eagle" "eats" "lion" "-")
((triple2) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((triple5) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
The lion does not eat the tiger.
Unknown
inv-random
[@0: The lion eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "tiger" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The lion eats the bald eagle.[(triple2)] The lion needs the bald eagle.[(triple3)] The tiger chases the bald eagle.[(triple4)] The tiger eats the bald eagle.[(triple5)] The tiger eats the lion.[(triple6)] The tiger needs the lion.[(triple7)] @1: The bald eagle eats the lion.[(((triple2) -> rule1) OR ((triple5) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple4
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple6
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple7
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((triple5) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1