The bald eagle is red. The bald eagle does not visit the bear. The bald eagle visits the rabbit. The bear does not chase the rabbit. The bear eats the rabbit. The bear is young. The rabbit does not chase the bald eagle. The rabbit eats the bear. The rabbit is red. The rabbit does not visit the bald eagle. The rabbit visits the tiger. The tiger chases the bald eagle. The tiger chases the bear. The tiger visits the bald eagle. The tiger visits the bear. If someone eats the tiger and the tiger visits the bear then the tiger eats the bald eagle. If someone visits the bald eagle and they chase the bald eagle then the bald eagle eats the tiger. If someone eats the bear then the bear is kind.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is young.
("bear" "is" "young" "+")
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone eats the tiger and the tiger visits the bear then the tiger eats the bald eagle.
((("someone" "eats" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone visits the bald eagle and they chase the bald eagle then the bald eagle eats the tiger.
((("someone" "visits" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone eats the bear then the bear is kind.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "kind" "+"))
The bear eats the rabbit.
True
1
proof
[(triple5)]
("bear" "eats" "rabbit" "+")
triple5
The tiger does not chase the bear.
False
1
inv-proof
[(triple13)]
("tiger" "chases" "bear" "-")
triple13
The bald eagle eats the tiger.
True
3
proof
[(((triple14 triple12) -> rule2))]
("bald eagle" "eats" "tiger" "+")
((triple14 triple12) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple8) -> rule3))]
("bear" "is" "kind" "-")
((triple8) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The tiger eats the bald eagle.
True
5
proof
[(((((triple14 triple12) -> rule2) triple15) -> rule1))]
("tiger" "eats" "bald eagle" "+")
((((triple14 triple12) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The tiger does not eat the bald eagle.
False
5
inv-proof
[(((((triple14 triple12) -> rule2) triple15) -> rule1))]
("tiger" "eats" "bald eagle" "-")
((((triple14 triple12) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The bear does not visit the bald eagle.
Unknown
inv-random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The tiger does not eat the rabbit.
Unknown
inv-random
[@0: The tiger eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "rabbit" "-")
The rabbit eats the bald eagle.
Unknown
random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "+")
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 bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle does not visit the bear.[(triple2)] The bald eagle is red.[(triple1)] The bald eagle visits the rabbit.[(triple3)] The bear does not chase the rabbit.[(triple4)] The bear eats the rabbit.[(triple5)] The bear is young.[(triple6)] The rabbit does not chase the bald eagle.[(triple7)] The rabbit does not visit the bald eagle.[(triple10)] The rabbit eats the bear.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the tiger.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger chases the bear.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bald eagle eats the tiger.[(((triple14 triple12) -> rule2))] The bear is kind.[(((triple8) -> rule3))] @2: The tiger eats the bald eagle.[(((((triple14 triple12) -> rule2) triple15) -> rule1))]
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
triple4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
triple7
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple10
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple14 triple12) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((triple8) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((triple14 triple12) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2