The bald eagle chases the bear. The bald eagle eats the rabbit. The bald eagle is kind. The bald eagle is nice. The bear is not kind. The bear sees the rabbit. The rabbit chases the bear. The rabbit does not chase the tiger. The rabbit sees the bald eagle. The tiger chases the bald eagle. The tiger eats the bear. The tiger is nice. The tiger is round. The tiger sees the bald eagle. The tiger sees the bear. If someone eats the bear and the bear is nice then the bear does not eat the bald eagle. If someone sees the rabbit then they eat the rabbit. If someone is round and they eat the bear then the bear does not chase the rabbit. If someone sees the bear and the bear sees the tiger then the bear chases the tiger. If someone chases the bald eagle and the bald eagle sees the rabbit then the bald eagle eats the bear. If someone sees the tiger and they are young then the tiger sees the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If someone eats the bear and the bear is nice then the bear does not eat the bald eagle.
((("someone" "eats" "bear" "+") ("bear" "is" "nice" "+")) -> ("bear" "eats" "bald eagle" "-"))
If someone sees the rabbit then they eat the rabbit.
((("someone" "sees" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is round and they eat the bear then the bear does not chase the rabbit.
((("someone" "is" "round" "+") ("someone" "eats" "bear" "+")) -> ("bear" "chases" "rabbit" "-"))
If someone sees the bear and the bear sees the tiger then the bear chases the tiger.
((("someone" "sees" "bear" "+") ("bear" "sees" "tiger" "+")) -> ("bear" "chases" "tiger" "+"))
If someone chases the bald eagle and the bald eagle sees the rabbit then the bald eagle eats the bear.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "rabbit" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone sees the tiger and they are young then the tiger sees the bear.
((("someone" "sees" "tiger" "+") ("someone" "is" "young" "+")) -> ("tiger" "sees" "bear" "+"))
The tiger eats the bear.
True
1
proof
[(triple11)]
("tiger" "eats" "bear" "+")
triple11
The tiger is not nice.
False
1
inv-proof
[(triple12)]
("tiger" "is" "nice" "-")
triple12
The bear eats the rabbit.
True
2
proof
[(((triple6) -> rule2))]
("bear" "eats" "rabbit" "+")
((triple6) -> (rule2 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear does not eat the rabbit.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "eats" "rabbit" "-")
((triple6) -> (rule2 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bear chases the tiger.
Unknown
rconc
[@1: The bear chases the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "tiger" "+")
The tiger does not chase the bear.
Unknown
inv-random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bear is not kind.[(triple5)] The bear sees the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit does not chase the tiger.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger eats the bear.[(triple11)] The tiger is nice.[(triple12)] The tiger is round.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the bear.[(triple15)] @1: The bear does not chase the rabbit.[(((triple13 triple11) -> rule3))] The bear eats the rabbit.[(((triple6) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bear is not kind.
("bear" "is" "kind" "-")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple8
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
((triple13 triple11) -> (rule3 % int1))
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
((triple6) -> (rule2 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1