The bald eagle eats the rabbit. The bald eagle does not eat the tiger. The bald eagle needs the tiger. The bald eagle sees the tiger. The lion eats the tiger. The lion is rough. The lion is round. The lion needs the rabbit. The lion sees the tiger. The rabbit eats the lion. The rabbit is red. The rabbit is not rough. The rabbit needs the tiger. The tiger is round. The tiger needs the rabbit. The tiger sees the bald eagle. If something eats the tiger and it is round then the tiger is rough. If the rabbit eats the lion then the lion is not red.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something eats the tiger and it is round then the tiger is rough.
((("something" "eats" "tiger" "+") ("something" "is" "round" "+")) -> ("tiger" "is" "rough" "+"))
If the rabbit eats the lion then the lion is not red.
((("rabbit" "eats" "lion" "+")) -> ("lion" "is" "red" "-"))
The bald eagle eats the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "tiger" "-")
triple4
The lion is not red.
True
2
proof
[(((triple10) -> rule2))]
("lion" "is" "red" "-")
((triple10) -> (rule2 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The tiger is not rough.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("tiger" "is" "rough" "-")
((triple5 triple7) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the rabbit.[(triple1)] The bald eagle needs the tiger.[(triple3)] The bald eagle sees the tiger.[(triple4)] The lion eats the tiger.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion needs the rabbit.[(triple8)] The lion sees the tiger.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is not rough.[(triple12)] The rabbit is red.[(triple11)] The rabbit needs the tiger.[(triple13)] The tiger is round.[(triple14)] The tiger needs the rabbit.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The lion is not red.[(((triple10) -> rule2))] The tiger is rough.[(((triple5 triple7) -> rule1))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple8
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple9
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple10
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple16
The lion is not red.
("lion" "is" "red" "-")
((triple10) -> (rule2 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple5 triple7) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1