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