The cat chases the dog. The cat chases the rabbit. The cat is nice. The cat needs the dog. The cat needs the rabbit. The cat visits the rabbit. The dog chases the cat. The dog is blue. The dog needs the cat. The dog needs the rabbit. The dog visits the cat. The dog visits the rabbit. The rabbit chases the dog. The rabbit needs the cat. The rabbit needs the dog. The rabbit visits the cat. If something needs the rabbit then it chases the cat.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something needs the rabbit then it chases the cat.
((("something" "needs" "rabbit" "+")) -> ("something" "chases" "cat" "+"))
The rabbit needs the cat.
True
1
proof
[(triple14)]
("rabbit" "needs" "cat" "+")
triple14
The dog is not blue.
False
1
inv-proof
[(triple8)]
("dog" "is" "blue" "-")
triple8
The cat chases the cat.
True
2
proof
[(((triple5) -> rule1))]
("cat" "chases" "cat" "+")
((triple5) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "chases" "cat" "-")
((triple5) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The rabbit does not chase the cat.
Unknown
inv-rconc
[@1: The rabbit chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "cat" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is nice.[(triple3)] The cat needs the dog.[(triple4)] The cat needs the rabbit.[(triple5)] The cat visits the rabbit.[(triple6)] The dog chases the cat.[(triple7 OR ((triple10) -> rule1))] The dog is blue.[(triple8)] The dog needs the cat.[(triple9)] The dog needs the rabbit.[(triple10)] The dog visits the cat.[(triple11)] The dog visits the rabbit.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The cat chases the cat.[(((triple5) -> rule1))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
((triple10) -> (rule1 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple10
The dog visits the cat.
("dog" "visits" "cat" "+")
triple11
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple12
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple16
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple5) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1