The dog eats the squirrel. The lion is cold. The squirrel chases the lion. If someone is round and red then they like the squirrel. If someone likes the dog and the dog is nice then they are red.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
If someone is round and red then they like the squirrel.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the dog and the dog is nice then they are red.
((("someone" "likes" "dog" "+") ("dog" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
The lion is cold.
True
1
proof
[(triple2)]
("lion" "is" "cold" "+")
triple2
The dog does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "eats" "squirrel" "-")
triple1
The lion does not like the squirrel.
Unknown
inv-rconc
[@1: The lion likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "squirrel" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The dog eats the squirrel.[(triple1)] The lion is cold.[(triple2)] The squirrel chases the lion.[(triple3)]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple3