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