The bald eagle likes the tiger. The bald eagle visits the rabbit. The bald eagle visits the tiger. The bear is big. The bear is cold. The bear is red. The bear likes the bald eagle. The bear sees the bald eagle. The bear visits the rabbit. The rabbit likes the bald eagle. The rabbit sees the bear. The rabbit visits the bald eagle. The tiger is big. The tiger is red. The tiger sees the rabbit. The tiger visits the rabbit. If something sees the rabbit then the rabbit visits the bear.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something sees the rabbit then the rabbit visits the bear.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "visits" "bear" "+"))
The rabbit visits the bald eagle.
True
1
proof
[(triple12)]
("rabbit" "visits" "bald eagle" "+")
triple12
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "tiger" "-")
triple1
The bald eagle does not see the bear.
Unknown
inv-random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "-")
The bear sees the tiger.
Unknown
random
[@0: The bear sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "tiger" "+")
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear is big.[(triple4)] The bear is cold.[(triple5)] The bear is red.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear visits the rabbit.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit visits the bald eagle.[(triple12)] The tiger is big.[(triple13)] The tiger is red.[(triple14)] The tiger sees the rabbit.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The rabbit visits the bear.[(((triple15) -> rule1))]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple15) -> (rule1 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1