The cat chases the dog. The cat chases the mouse. The cat is green. The cat sees the dog. The cat sees the mouse. The cat visits the dog. The dog chases the cat. The dog chases the mouse. The dog is round. The dog visits the cat. The dog visits the mouse. The mouse chases the cat. The mouse chases the dog. The mouse is nice. The mouse sees the cat. The mouse visits the dog. If something visits the dog and the dog sees the cat then the dog chases the mouse. If something chases the mouse then it sees the cat. If something is blue and it sees the mouse then it visits the dog. If something is blue then it sees the cat. If the cat is rough then the cat is round. If something is nice then it sees the dog.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something visits the dog and the dog sees the cat then the dog chases the mouse.
((("something" "visits" "dog" "+") ("dog" "sees" "cat" "+")) -> ("dog" "chases" "mouse" "+"))
If something chases the mouse then it sees the cat.
((("something" "chases" "mouse" "+")) -> ("something" "sees" "cat" "+"))
If something is blue and it sees the mouse then it visits the dog.
((("something" "is" "blue" "+") ("something" "sees" "mouse" "+")) -> ("something" "visits" "dog" "+"))
If something is blue then it sees the cat.
((("something" "is" "blue" "+")) -> ("something" "sees" "cat" "+"))
If the cat is rough then the cat is round.
((("cat" "is" "rough" "+")) -> ("cat" "is" "round" "+"))
If something is nice then it sees the dog.
((("something" "is" "nice" "+")) -> ("something" "sees" "dog" "+"))
The dog chases the cat.
True
1
proof
[(triple7)]
("dog" "chases" "cat" "+")
triple7
The cat does not visit the dog.
False
1
inv-proof
[(triple6)]
("cat" "visits" "dog" "-")
triple6
The mouse sees the dog.
True
2
proof
[(((triple14) -> rule6))]
("mouse" "sees" "dog" "+")
((triple14) -> (rule6 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1
The mouse does not see the dog.
False
2
inv-proof
[(((triple14) -> rule6))]
("mouse" "sees" "dog" "-")
((triple14) -> (rule6 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "dog" "+")
The mouse does not visit the cat.
Unknown
inv-random
[@0: The mouse visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cat" "-")
The cat visits the mouse.
Unknown
random
[@0: The cat visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "mouse" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat is green.[(triple3)] The cat sees the dog.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the dog.[(triple6)] The dog chases the cat.[(triple7)] The dog chases the mouse.[(triple8)] The dog is round.[(triple9)] The dog visits the cat.[(triple10)] The dog visits the mouse.[(triple11)] The mouse chases the cat.[(triple12)] The mouse chases the dog.[(triple13)] The mouse is nice.[(triple14)] The mouse sees the cat.[(triple15)] The mouse visits the dog.[(triple16)] @1: The cat sees the cat.[(((triple2) -> rule2))] The dog sees the cat.[(((triple8) -> rule2))] The mouse sees the dog.[(((triple14) -> rule6))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat sees the dog.
("cat" "sees" "dog" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple11
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple12
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple13
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple15
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple16
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple2) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
((triple8) -> (rule2 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The mouse sees the dog.
("mouse" "sees" "dog" "+")
((triple14) -> (rule6 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1