The bald eagle chases the tiger. The lion sees the bald eagle. The rabbit is big. The rabbit is green. The rabbit needs the bald eagle. The rabbit needs the lion. The tiger chases the bald eagle. The tiger chases the lion. The tiger needs the lion. The tiger sees the lion. If someone chases the tiger then the tiger sees the bald eagle. If the bald eagle chases the tiger and the tiger chases the bald eagle then the bald eagle chases the lion.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "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 lion.
("rabbit" "needs" "lion" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone chases the tiger then the tiger sees the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If the bald eagle chases the tiger and the tiger chases the bald eagle then the bald eagle chases the lion.
((("bald eagle" "chases" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
The rabbit is green.
True
1
proof
[(triple4)]
("rabbit" "is" "green" "+")
triple4
The tiger does not chase the lion.
False
1
inv-proof
[(triple8)]
("tiger" "chases" "lion" "-")
triple8
The bald eagle chases the lion.
True
3
proof
[(((triple1 triple7) -> rule2))]
("bald eagle" "chases" "lion" "+")
((triple1 triple7) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not chase the lion.
False
3
inv-proof
[(((triple1 triple7) -> rule2))]
("bald eagle" "chases" "lion" "-")
((triple1 triple7) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not see the tiger.
Unknown
inv-random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The lion does not see the tiger.
Unknown
inv-random
[@0: The lion sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The lion sees the bald eagle.[(triple2)] The rabbit is big.[(triple3)] The rabbit is green.[(triple4)] The rabbit needs the bald eagle.[(triple5)] The rabbit needs the lion.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger chases the lion.[(triple8)] The tiger needs the lion.[(triple9)] The tiger sees the lion.[(triple10)] @1: The bald eagle chases the lion.[(((triple1 triple7) -> rule2))] The tiger sees the bald eagle.[(((triple1) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple8
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple9
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple10
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple1 triple7) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1