The bald eagle is rough. The bald eagle is young. The bald eagle visits the lion. The lion chases the bald eagle. The lion is blue. The lion is kind. The rabbit chases the bald eagle. The rabbit is kind. The rabbit sees the bald eagle. The squirrel chases the rabbit. The squirrel is blue. The squirrel is kind. If something chases the bald eagle then the bald eagle sees the rabbit. If the lion visits the rabbit and the lion is blue then the lion visits the squirrel. If the lion sees the rabbit and the lion visits the bald eagle then the lion chases the rabbit. If something visits the rabbit then the rabbit visits the squirrel. If something is kind and it chases the squirrel then it is rough. If the bald eagle is rough and the bald eagle sees the squirrel then the squirrel sees the lion. If the lion sees the rabbit then the lion visits the rabbit. If something is rough then it sees the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If something chases the bald eagle then the bald eagle sees the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If the lion visits the rabbit and the lion is blue then the lion visits the squirrel.
((("lion" "visits" "rabbit" "+") ("lion" "is" "blue" "+")) -> ("lion" "visits" "squirrel" "+"))
If the lion sees the rabbit and the lion visits the bald eagle then the lion chases the rabbit.
((("lion" "sees" "rabbit" "+") ("lion" "visits" "bald eagle" "+")) -> ("lion" "chases" "rabbit" "+"))
If something visits the rabbit then the rabbit visits the squirrel.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If something is kind and it chases the squirrel then it is rough.
((("something" "is" "kind" "+") ("something" "chases" "squirrel" "+")) -> ("something" "is" "rough" "+"))
If the bald eagle is rough and the bald eagle sees the squirrel then the squirrel sees the lion.
((("bald eagle" "is" "rough" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "sees" "lion" "+"))
If the lion sees the rabbit then the lion visits the rabbit.
((("lion" "sees" "rabbit" "+")) -> ("lion" "visits" "rabbit" "+"))
If something is rough then it sees the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "sees" "bald eagle" "+"))
The rabbit sees the bald eagle.
True
1
proof
[(triple9)]
("rabbit" "sees" "bald eagle" "+")
triple9
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple9)]
("rabbit" "sees" "bald eagle" "-")
triple9
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "rough" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle visits the lion.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion is blue.[(triple5)] The lion is kind.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit is kind.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is kind.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule8))] The bald eagle sees the rabbit.[(((triple4) -> rule1) OR ((triple7) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple9
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule8 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple4) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
((triple7) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1