The dog eats the squirrel. The dog is big. The dog is cold. The dog is kind. The dog sees the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is cold. The squirrel is kind. The squirrel is young. The squirrel sees the dog. The squirrel visits the dog. If the dog sees the squirrel and the squirrel eats the dog then the dog eats the squirrel. If someone eats the squirrel and they are kind then the squirrel visits the dog. If someone sees the squirrel and the squirrel eats the dog then the squirrel sees the dog. If someone sees the squirrel and they are young then the squirrel eats the dog. If someone sees the dog then they are kind. If someone visits the squirrel and they visit the dog then the dog sees the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the dog sees the squirrel and the squirrel eats the dog then the dog eats the squirrel.
((("dog" "sees" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If someone eats the squirrel and they are kind then the squirrel visits the dog.
((("someone" "eats" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("squirrel" "visits" "dog" "+"))
If someone sees the squirrel and the squirrel eats the dog then the squirrel sees the dog.
((("someone" "sees" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("squirrel" "sees" "dog" "+"))
If someone sees the squirrel and they are young then the squirrel eats the dog.
((("someone" "sees" "squirrel" "+") ("someone" "is" "young" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone sees the dog then they are kind.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "kind" "+"))
If someone visits the squirrel and they visit the dog then the dog sees the squirrel.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "dog" "+")) -> ("dog" "sees" "squirrel" "+"))
The dog is cold.
True
1
proof
[(triple3)]
("dog" "is" "cold" "+")
triple3
The squirrel is not cold.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "cold" "-")
triple8
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The dog eats the squirrel.[(triple1 OR ((triple5 triple7) -> rule1))] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog sees the squirrel.[(triple5)] The dog visits the squirrel.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is kind.[(triple9 OR ((triple11) -> rule5) OR ((((triple5 triple7) -> rule3)) -> rule5))] The squirrel is young.[(triple10)] The squirrel sees the dog.[(triple11 OR ((triple5 triple7) -> rule3))] The squirrel visits the dog.[(triple12 OR ((triple1 triple4) -> rule2) OR ((((triple5 triple7) -> rule1) triple4) -> rule2))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
((triple5 triple7) -> (rule1 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple6
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
((triple11) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple5 triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple11
((triple5 triple7) -> (rule3 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
((triple1 triple4) -> (rule2 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
((((triple5 triple7) -> (rule1 % int2)) triple4) -> (rule2 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2