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