The bald eagle eats the lion. The bald eagle is green. The bald eagle sees the lion. The bald eagle sees the rabbit. The lion does not eat the rabbit. The lion sees the bald eagle. The rabbit is big. The rabbit is nice. The rabbit needs the bald eagle. The rabbit needs the lion. The rabbit sees the bald eagle. The rabbit sees the lion. If someone sees the lion then the lion does not eat the bald eagle. If someone needs the bald eagle and they are rough then they do not eat the lion.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone sees the lion then the lion does not eat the bald eagle.
((("someone" "sees" "lion" "+")) -> ("lion" "eats" "bald eagle" "-"))
If someone needs the bald eagle and they are rough then they do not eat the lion.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "lion" "-"))
The lion does not eat the rabbit.
True
1
proof
[(triple5)]
("lion" "eats" "rabbit" "-")
triple5
The bald eagle does not see the rabbit.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "rabbit" "-")
triple4
The lion does not eat the bald eagle.
True
2
proof
[(((triple12) -> rule1) OR ((triple3) -> rule1))]
("lion" "eats" "bald eagle" "-")
((triple12) -> (rule1 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
((triple3) -> (rule1 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
The lion eats the bald eagle.
False
2
inv-proof
[(((triple12) -> rule1) OR ((triple3) -> rule1))]
("lion" "eats" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
((triple3) -> (rule1 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
The rabbit does not eat the bald eagle.
Unknown
inv-random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
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 eats the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The lion does not eat the rabbit.[(triple5)] The lion sees the bald eagle.[(triple6)] The rabbit is big.[(triple7)] The rabbit is nice.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit needs the lion.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The lion does not eat the bald eagle.[(((triple12) -> rule1) OR ((triple3) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple5
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple9
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple10
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple11
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
((triple12) -> (rule1 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
((triple3) -> (rule1 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1