The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle likes the cat. The cat chases the bald eagle. The cat chases the squirrel. The cat is red. The cat is young. The lion eats the bald eagle. The lion likes the bald eagle. The squirrel chases the bald eagle. The squirrel eats the cat. The squirrel likes the bald eagle. All red people are cold. If someone chases the lion then they eat the cat. If someone eats the bald eagle then they chase the cat.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the lion then they eat the cat.
((("someone" "chases" "lion" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the bald eagle then they chase the cat.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "chases" "cat" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple2)]
("bald eagle" "chases" "squirrel" "+")
triple2
The squirrel does not eat the cat.
False
1
inv-proof
[(triple14)]
("squirrel" "eats" "cat" "-")
triple14
The bald eagle does not chase the cat.
Unknown
inv-rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "cat" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the cat.[(triple3 OR ((triple1) -> rule2))] The bald eagle eats the squirrel.[(triple4)] The bald eagle is cold.[(triple5)] The bald eagle likes the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat chases the squirrel.[(triple8)] The cat is red.[(triple9)] The cat is young.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion likes the bald eagle.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel eats the cat.[(triple14)] The squirrel likes the bald eagle.[(triple15)] @1: The cat is cold.[(((triple9) -> rule1))] The lion chases the cat.[(((triple11) -> rule3))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple3
((triple1) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple5
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple8
The cat is red.
("cat" "is" "red" "+")
triple9
The cat is young.
("cat" "is" "young" "+")
triple10
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple11
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple12
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple13
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
The cat is cold.
("cat" "is" "cold" "+")
((triple9) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
((triple11) -> (rule3 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1