The bald eagle eats the squirrel. The cat is young. The rabbit is cold. The squirrel sees the bald eagle. If something is young and it likes the rabbit then it is cold. If the rabbit sees the squirrel then the squirrel is cold. If something likes the squirrel and it eats the squirrel then it likes the rabbit.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The cat is young.
("cat" "is" "young" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something is young and it likes the rabbit then it is cold.
((("something" "is" "young" "+") ("something" "likes" "rabbit" "+")) -> ("something" "is" "cold" "+"))
If the rabbit sees the squirrel then the squirrel is cold.
((("rabbit" "sees" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If something likes the squirrel and it eats the squirrel then it likes the rabbit.
((("something" "likes" "squirrel" "+") ("something" "eats" "squirrel" "+")) -> ("something" "likes" "rabbit" "+"))
The cat is young.
True
1
proof
[(triple2)]
("cat" "is" "young" "+")
triple2
The cat is not young.
False
1
inv-proof
[(triple2)]
("cat" "is" "young" "-")
triple2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The cat is young.[(triple2)] The rabbit is cold.[(triple3)] The squirrel sees the bald eagle.[(triple4)]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple4