The bald eagle is green. The bald eagle visits the squirrel. The cat is green. The cat visits the bald eagle. The lion chases the squirrel. The lion is cold. The lion visits the squirrel. The squirrel chases the cat. The squirrel is rough. The squirrel needs the bald eagle. The squirrel visits the cat. The squirrel visits the lion. If someone needs the cat then they visit the squirrel. If someone chases the cat then the cat is big. If the cat chases the squirrel and the squirrel is green then the cat needs the squirrel.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone needs the cat then they visit the squirrel.
((("someone" "needs" "cat" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone chases the cat then the cat is big.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "big" "+"))
If the cat chases the squirrel and the squirrel is green then the cat needs the squirrel.
((("cat" "chases" "squirrel" "+") ("squirrel" "is" "green" "+")) -> ("cat" "needs" "squirrel" "+"))
The lion visits the squirrel.
True
1
proof
[(triple7)]
("lion" "visits" "squirrel" "+")
triple7
The lion does not chase the squirrel.
False
1
inv-proof
[(triple5)]
("lion" "chases" "squirrel" "-")
triple5
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cat is green.[(triple3)] The cat visits the bald eagle.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is cold.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The cat is big.[(((triple8) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple11
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple12
The cat is big.
("cat" "is" "big" "+")
((triple8) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1