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