The cat chases the rabbit. The cat is blue. The cat likes the rabbit. The cat sees the rabbit. The rabbit chases the cat. The rabbit is not big. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit does not like the cat. The rabbit sees the cat. If someone is kind then they see the cat. If someone chases the rabbit and they chase the cat then the cat is big. If someone sees the cat and the cat does not see the rabbit then the cat is round.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If someone is kind then they see the cat.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "cat" "+"))
If someone chases the rabbit and they chase the cat then the cat is big.
((("someone" "chases" "rabbit" "+") ("someone" "chases" "cat" "+")) -> ("cat" "is" "big" "+"))
If someone sees the cat and the cat does not see the rabbit then the cat is round.
((("someone" "sees" "cat" "+") ("cat" "sees" "rabbit" "~")) -> ("cat" "is" "round" "+"))
The rabbit is blue.
True
1
proof
[(triple7)]
("rabbit" "is" "blue" "+")
triple7
The cat does not see the rabbit.
False
1
inv-proof
[(triple4)]
("cat" "sees" "rabbit" "-")
triple4
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "cat" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat likes the rabbit.[(triple3)] The cat sees the rabbit.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit does not like the cat.[(triple11)] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is not big.[(triple6)] The rabbit is red.[(triple9)] The rabbit is round.[(triple10)] The rabbit sees the cat.[(triple12 OR ((triple8) -> rule1))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple4
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple5
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is not big.
("rabbit" "is" "big" "-")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12
((triple8) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1