The cat chases the rabbit. The cat is cold. The cat needs the dog. The cat needs the rabbit. The cat sees the dog. The cat sees the rabbit. The dog chases the cat. The dog chases the rabbit. The dog is blue. The dog is kind. The dog needs the cat. The dog needs the rabbit. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit needs the dog. If someone chases the cat and they are nice then the cat is kind. If someone chases the cat and they chase the dog then the cat chases the rabbit. If someone sees the dog and the dog sees the rabbit then the dog sees the cat. If someone needs the dog then the dog needs the rabbit. If someone needs the dog and the dog chases the rabbit then the rabbit sees the cat. If someone chases the rabbit and the rabbit needs the cat then they chase the dog.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone chases the cat and they are nice then the cat is kind.
((("someone" "chases" "cat" "+") ("someone" "is" "nice" "+")) -> ("cat" "is" "kind" "+"))
If someone chases the cat and they chase the dog then the cat chases the rabbit.
((("someone" "chases" "cat" "+") ("someone" "chases" "dog" "+")) -> ("cat" "chases" "rabbit" "+"))
If someone sees the dog and the dog sees the rabbit then the dog sees the cat.
((("someone" "sees" "dog" "+") ("dog" "sees" "rabbit" "+")) -> ("dog" "sees" "cat" "+"))
If someone needs the dog then the dog needs the rabbit.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If someone needs the dog and the dog chases the rabbit then the rabbit sees the cat.
((("someone" "needs" "dog" "+") ("dog" "chases" "rabbit" "+")) -> ("rabbit" "sees" "cat" "+"))
If someone chases the rabbit and the rabbit needs the cat then they chase the dog.
((("someone" "chases" "rabbit" "+") ("rabbit" "needs" "cat" "+")) -> ("someone" "chases" "dog" "+"))
The dog needs the cat.
True
1
proof
[(triple11)]
("dog" "needs" "cat" "+")
triple11
The cat is not cold.
False
1
inv-proof
[(triple2)]
("cat" "is" "cold" "-")
triple2
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is cold.[(triple2)] The cat needs the dog.[(triple3)] The cat needs the rabbit.[(triple4)] The cat sees the dog.[(triple5)] The cat sees the rabbit.[(triple6)] The dog chases the cat.[(triple7)] The dog chases the rabbit.[(triple8)] The dog is blue.[(triple9)] The dog is kind.[(triple10)] The dog needs the cat.[(triple11)] The dog needs the rabbit.[(triple12 OR ((triple16) -> rule4) OR ((triple3) -> rule4))] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is red.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The rabbit sees the cat.[(((triple16 triple8) -> rule5) OR ((triple3 triple8) -> rule5))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The cat sees the dog.
("cat" "sees" "dog" "+")
triple5
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog needs the cat.
("dog" "needs" "cat" "+")
triple11
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple12
((triple16) -> (rule4 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
((triple3) -> (rule4 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple16
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple16 triple8) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple3 triple8) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1