The cat is big. The cat sees the rabbit. The rabbit sees the cat. If something is cold and not nice then it needs the rabbit. If the cat is green and the cat sees the rabbit then the cat visits the rabbit.
The cat is big.
("cat" "is" "big" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something is cold and not nice then it needs the rabbit.
((("something" "is" "cold" "+") ("something" "is" "nice" "~")) -> ("something" "needs" "rabbit" "+"))
If the cat is green and the cat sees the rabbit then the cat visits the rabbit.
((("cat" "is" "green" "+") ("cat" "sees" "rabbit" "+")) -> ("cat" "visits" "rabbit" "+"))
The cat is big.
True
1
proof
[(triple1)]
("cat" "is" "big" "+")
triple1
The cat is not big.
False
1
inv-proof
[(triple1)]
("cat" "is" "big" "-")
triple1
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is big.[(triple1)] The cat sees the rabbit.[(triple2)] The rabbit sees the cat.[(triple3)]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple3