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