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