The cat is cold. The dog visits the squirrel. The lion visits the cat. The squirrel is blue. If someone is young and they see the lion then they see the squirrel.
The cat is cold.
("cat" "is" "cold" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If someone is young and they see the lion then they see the squirrel.
((("someone" "is" "young" "+") ("someone" "sees" "lion" "+")) -> ("someone" "sees" "squirrel" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
@0: The cat is cold.[(triple1)] The dog visits the squirrel.[(triple2)] The lion visits the cat.[(triple3)] The squirrel is blue.[(triple4)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The lion visits the cat.
("lion" "visits" "cat" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4