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