The cat is blue. The cat is green. The cat is red. The cat likes the rabbit. The cat needs the rabbit. The cat sees the rabbit. The rabbit is red. If something needs the cat and the cat is red then the cat is green. If something needs the cat and it sees the rabbit then it sees the cat. If something needs the cat and it likes the cat then it is cold.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something needs the cat and the cat is red then the cat is green.
((("something" "needs" "cat" "+") ("cat" "is" "red" "+")) -> ("cat" "is" "green" "+"))
If something needs the cat and it sees the rabbit then it sees the cat.
((("something" "needs" "cat" "+") ("something" "sees" "rabbit" "+")) -> ("something" "sees" "cat" "+"))
If something needs the cat and it likes the cat then it is cold.
((("something" "needs" "cat" "+") ("something" "likes" "cat" "+")) -> ("something" "is" "cold" "+"))
The cat is green.
True
1
proof
[(triple2)]
("cat" "is" "green" "+")
triple2
The cat is not green.
False
1
inv-proof
[(triple2)]
("cat" "is" "green" "-")
triple2
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "cat" "-")
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 blue.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat likes the rabbit.[(triple4)] The cat needs the rabbit.[(triple5)] The cat sees the rabbit.[(triple6)] The rabbit is red.[(triple7)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple4
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple5
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7