The bald eagle eats the bear. The bald eagle eats the lion. The bald eagle is rough. The bald eagle is round. The bald eagle sees the tiger. The bear eats the lion. The lion eats the bear. The lion is big. The lion is green. The lion sees the bear. The tiger chases the bald eagle. The tiger chases the lion. The tiger is green. The tiger is rough. The tiger is round. The tiger sees the bald eagle. If something eats the tiger then the tiger chases the bald eagle. If something is blue then it chases the lion. If something eats the bear and the bear is big then it chases the bear. If something chases the tiger then it eats the lion. All green things are rough. If something is blue and it chases the lion then the lion chases the bald eagle. Big things are round. If something chases the lion and it sees the tiger then the tiger is green.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something eats the tiger then the tiger chases the bald eagle.
((("something" "eats" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If something is blue then it chases the lion.
((("something" "is" "blue" "+")) -> ("something" "chases" "lion" "+"))
If something eats the bear and the bear is big then it chases the bear.
((("something" "eats" "bear" "+") ("bear" "is" "big" "+")) -> ("something" "chases" "bear" "+"))
If something chases the tiger then it eats the lion.
((("something" "chases" "tiger" "+")) -> ("something" "eats" "lion" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is blue and it chases the lion then the lion chases the bald eagle.
((("something" "is" "blue" "+") ("something" "chases" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
Big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something chases the lion and it sees the tiger then the tiger is green.
((("something" "chases" "lion" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "is" "green" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple16)]
("tiger" "sees" "bald eagle" "+")
triple16
The lion is not green.
False
1
inv-proof
[(triple9)]
("lion" "is" "green" "-")
triple9
The lion is rough.
True
2
proof
[(((triple9) -> rule5))]
("lion" "is" "rough" "+")
((triple9) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple9) -> rule5))]
("lion" "is" "rough" "-")
((triple9) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The tiger does not eat the lion.
Unknown
inv-rconc
[@1: The tiger eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "lion" "-")
The bald eagle chases the lion.
Unknown
rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "lion" "+")
The bear does not chase the tiger.
Unknown
inv-random
[@0: The bear chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "tiger" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle sees the tiger.[(triple5)] The bear eats the lion.[(triple6)] The lion eats the bear.[(triple7)] The lion is big.[(triple8)] The lion is green.[(triple9)] The lion sees the bear.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14 OR ((triple13) -> rule5))] The tiger is round.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The lion is rough.[(((triple9) -> rule5))] The lion is round.[(((triple8) -> rule7))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The bear eats the lion.
("bear" "eats" "lion" "+")
triple6
The lion eats the bear.
("lion" "eats" "bear" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
((triple13) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple15
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple16
The lion is rough.
("lion" "is" "rough" "+")
((triple9) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((triple8) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1