The bald eagle is kind. The bald eagle sees the lion. The bald eagle does not see the squirrel. The bald eagle does not visit the squirrel. The bald eagle visits the tiger. The lion is not kind. The lion is round. The lion does not see the bald eagle. The lion visits the tiger. The squirrel is big. The squirrel is green. The squirrel is kind. The tiger is big. The tiger does not like the lion. The tiger visits the lion. If the squirrel is red then the squirrel likes the lion. If the squirrel is red and the squirrel is not big then the squirrel is kind. If something likes the bald eagle then the bald eagle does not see the tiger. If something is kind then it is red. If something sees the squirrel then the squirrel does not see the lion. If something is round then it visits the squirrel. If something likes the bald eagle then the bald eagle does not visit the squirrel. If something is big and kind then it is round.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is round.
("lion" "is" "round" "+")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If the squirrel is red then the squirrel likes the lion.
((("squirrel" "is" "red" "+")) -> ("squirrel" "likes" "lion" "+"))
If the squirrel is red and the squirrel is not big then the squirrel is kind.
((("squirrel" "is" "red" "+") ("squirrel" "is" "big" "~")) -> ("squirrel" "is" "kind" "+"))
If something likes the bald eagle then the bald eagle does not see the tiger.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "-"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something sees the squirrel then the squirrel does not see the lion.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "sees" "lion" "-"))
If something is round then it visits the squirrel.
((("something" "is" "round" "+")) -> ("something" "visits" "squirrel" "+"))
If something likes the bald eagle then the bald eagle does not visit the squirrel.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "-"))
If something is big and kind then it is round.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
The lion is not kind.
True
1
proof
[(triple6)]
("lion" "is" "kind" "-")
triple6
The squirrel is not green.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "green" "-")
triple11
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "round" "-")
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 does not see the squirrel.[(triple3)] The bald eagle does not visit the squirrel.[(triple4)] The bald eagle is kind.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle visits the tiger.[(triple5)] The lion does not see the bald eagle.[(triple8)] The lion is not kind.[(triple6)] The lion is round.[(triple7)] The lion visits the tiger.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The tiger does not like the lion.[(triple14)] The tiger is big.[(triple13)] The tiger visits the lion.[(triple15)] @1: The bald eagle is red.[(((triple1) -> rule4))] The lion visits the squirrel.[(((triple7) -> rule6))] The squirrel is red.[(((triple12) -> rule4))] The squirrel is round.[(((triple10 triple12) -> rule8))] @2: The squirrel likes the lion.[(((((triple12) -> rule4)) -> rule1))] The squirrel visits the squirrel.[(((((triple10 triple12) -> rule8)) -> rule6))]
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
triple3
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple8
The lion is not kind.
("lion" "is" "kind" "-")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple14
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((triple7) -> (rule6 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple12) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple10 triple12) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((((triple12) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple10 triple12) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2