The cat visits the rabbit. The rabbit chases the cat. The rabbit is red. If something is cold then it chases the cat. If the cat visits the rabbit then the rabbit is red. If something chases the cat and it is cold then the cat is red. If something visits the rabbit and it is not cold then the rabbit is young. If something chases the rabbit and it does not chase the cat then the rabbit is green. If something is green and cold then it likes the cat.
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something is cold then it chases the cat.
((("something" "is" "cold" "+")) -> ("something" "chases" "cat" "+"))
If the cat visits the rabbit then the rabbit is red.
((("cat" "visits" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If something chases the cat and it is cold then the cat is red.
((("something" "chases" "cat" "+") ("something" "is" "cold" "+")) -> ("cat" "is" "red" "+"))
If something visits the rabbit and it is not cold then the rabbit is young.
((("something" "visits" "rabbit" "+") ("something" "is" "cold" "~")) -> ("rabbit" "is" "young" "+"))
If something chases the rabbit and it does not chase the cat then the rabbit is green.
((("something" "chases" "rabbit" "+") ("something" "chases" "cat" "~")) -> ("rabbit" "is" "green" "+"))
If something is green and cold then it likes the cat.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "likes" "cat" "+"))
The rabbit chases the cat.
True
1
proof
[(triple2)]
("rabbit" "chases" "cat" "+")
triple2
The cat does not visit the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "visits" "rabbit" "-")
triple1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The cat visits the rabbit.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit is red.[(triple3 OR ((triple1) -> rule2))]
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
((triple1) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1