The cat is cold. The cat is kind. The cat does not visit the squirrel. The cat visits the tiger. The rabbit chases the tiger. The rabbit eats the squirrel. The rabbit visits the tiger. The squirrel does not chase the rabbit. The squirrel chases the tiger. The squirrel visits the rabbit. The tiger is red. The tiger is rough. If something chases the squirrel then the squirrel does not eat the tiger. If something chases the cat and it is cold then the cat chases the squirrel. If something eats the rabbit and it does not visit the rabbit then the rabbit eats the tiger. If the rabbit eats the squirrel then the rabbit visits the squirrel. If something eats the rabbit then it chases the tiger. Big things are not rough. If something eats the squirrel and it visits the squirrel then the squirrel is big. If the cat does not chase the squirrel and the squirrel does not visit the tiger then the tiger eats the squirrel.
The squirrel is not rough.
@0: The cat does not visit the squirrel.[(triple3)] The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat visits the tiger.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit visits the tiger.[(triple7)] The squirrel chases the tiger.[(triple9)] The squirrel does not chase the rabbit.[(triple8)] The squirrel visits the rabbit.[(triple10)] The tiger is red.[(triple11)] The tiger is rough.[(triple12)] @1: The rabbit visits the squirrel.[(((triple6) -> rule4))] @2: The squirrel is big.[(((triple6 ((triple6) -> rule4)) -> rule7))] @3: The squirrel is not rough.[(((((triple6 ((triple6) -> rule4)) -> rule7)) -> rule6))]