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