The cat chases the mouse. The cat chases the rabbit. The cat is kind. The cat visits the rabbit. The mouse needs the rabbit. The rabbit chases the cat. The rabbit is red. If something chases the cat and the cat is nice then it is kind. If something chases the mouse then it is kind.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something chases the cat and the cat is nice then it is kind.
((("something" "chases" "cat" "+") ("cat" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something chases the mouse then it is kind.
((("something" "chases" "mouse" "+")) -> ("something" "is" "kind" "+"))
The rabbit is red.
True
1
proof
[(triple7)]
("rabbit" "is" "red" "+")
triple7
The cat does not chase the mouse.
False
1
inv-proof
[(triple1)]
("cat" "chases" "mouse" "-")
triple1
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "kind" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is kind.[(triple3 OR ((triple1) -> rule2))] The cat visits the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is red.[(triple7)]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
((triple1) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple4
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple5
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7