The bald eagle is round. The cat is big. The cat sees the bald eagle. The cat sees the squirrel. The cat visits the bald eagle. The squirrel is big. The squirrel does not visit the bald eagle. If the bald eagle visits the cat and the cat is not cold then the bald eagle eats the squirrel.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat is big.
("cat" "is" "big" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
If the bald eagle visits the cat and the cat is not cold then the bald eagle eats the squirrel.
((("bald eagle" "visits" "cat" "+") ("cat" "is" "cold" "~")) -> ("bald eagle" "eats" "squirrel" "+"))
The cat sees the squirrel.
True
1
proof
[(triple4)]
("cat" "sees" "squirrel" "+")
triple4
The cat does not see the squirrel.
False
1
inv-proof
[(triple4)]
("cat" "sees" "squirrel" "-")
triple4
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle is round.[(triple1)] The cat is big.[(triple2)] The cat sees the bald eagle.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the bald eagle.[(triple5)] The squirrel does not visit the bald eagle.[(triple7)] The squirrel is big.[(triple6)]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple5
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple6