The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle does not need the tiger. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit eats the bald eagle. The rabbit is big. The rabbit is green. The rabbit needs the bald eagle. The rabbit needs the tiger. The tiger chases the bald eagle. The tiger needs the rabbit. If something needs the rabbit then it does not chase the tiger.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something needs the rabbit then it does not chase the tiger.
((("something" "needs" "rabbit" "+")) -> ("something" "chases" "tiger" "-"))
The rabbit is green.
True
1
proof
[(triple8)]
("rabbit" "is" "green" "+")
triple8
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The tiger does not chase the tiger.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "chases" "tiger" "-")
((triple12) -> (rule1 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger chases the tiger.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "chases" "tiger" "+")
((triple12) -> (rule1 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger chases the rabbit.
Unknown
random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not need the tiger.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit is big.[(triple7)] The rabbit is green.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit needs the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger needs the rabbit.[(triple12)] @1: The tiger does not chase the tiger.[(((triple12) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple4
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple9
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple12
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
((triple12) -> (rule1 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1