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