The cat chases the dog. The cat sees the dog. The cat sees the rabbit. The cat visits the rabbit. The dog sees the cat. The rabbit chases the dog. The rabbit is rough. The rabbit is round. The rabbit sees the cat. The rabbit visits the cat. If the dog is cold and the dog visits the rabbit then the dog is rough. If something chases the rabbit and it sees the dog then the dog is rough. If something is cold and it sees the cat then the cat is young.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If the dog is cold and the dog visits the rabbit then the dog is rough.
((("dog" "is" "cold" "+") ("dog" "visits" "rabbit" "+")) -> ("dog" "is" "rough" "+"))
If something chases the rabbit and it sees the dog then the dog is rough.
((("something" "chases" "rabbit" "+") ("something" "sees" "dog" "+")) -> ("dog" "is" "rough" "+"))
If something is cold and it sees the cat then the cat is young.
((("something" "is" "cold" "+") ("something" "sees" "cat" "+")) -> ("cat" "is" "young" "+"))
The dog sees the cat.
True
1
proof
[(triple5)]
("dog" "sees" "cat" "+")
triple5
The cat does not chase the dog.
False
1
inv-proof
[(triple1)]
("cat" "chases" "dog" "-")
triple1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The cat chases the dog.[(triple1)] The cat sees the dog.[(triple2)] The cat sees the rabbit.[(triple3)] The cat visits the rabbit.[(triple4)] The dog sees the cat.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the cat.[(triple9)] The rabbit visits the cat.[(triple10)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat sees the dog.
("cat" "sees" "dog" "+")
triple2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple4
The dog sees the cat.
("dog" "sees" "cat" "+")
triple5
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple9
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple10