The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is cold. The bald eagle is not red. The bald eagle sees the cat. The bald eagle sees the squirrel. The cat is blue. The cat is red. The cat is round. The cat likes the bald eagle. The squirrel eats the cat. The squirrel likes the bald eagle. The squirrel likes the cat. The squirrel does not see the bald eagle. If something is round and not cold then it likes the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If something is round and not cold then it likes the cat.
((("something" "is" "round" "+") ("something" "is" "cold" "~")) -> ("something" "likes" "cat" "+"))
The cat is round.
True
1
proof
[(triple10)]
("cat" "is" "round" "+")
triple10
The squirrel does not eat the cat.
False
1
inv-proof
[(triple12)]
("squirrel" "eats" "cat" "-")
triple12
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is not red.[(triple5)] The bald eagle sees the cat.[(triple6)] The bald eagle sees the squirrel.[(triple7)] The cat is blue.[(triple8)] The cat is red.[(triple9)] The cat is round.[(triple10)] The cat likes the bald eagle.[(triple11)] The squirrel does not see the bald eagle.[(triple15)] The squirrel eats the cat.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the cat.[(triple14)]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple5
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple6
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cat is red.
("cat" "is" "red" "+")
triple9
The cat is round.
("cat" "is" "round" "+")
triple10
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple11
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple15
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14