The cat eats the squirrel. The cat is red. The cat is young. The cat does not like the cow. The cat visits the cow. The cat visits the squirrel. The cow is not kind. The squirrel eats the cat. The squirrel eats the cow. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is not rough. The squirrel does not like the cow. The squirrel visits the cat. If someone is nice then they eat the cat. If the cat visits the squirrel and the squirrel visits the cow then the squirrel is red. If someone visits the squirrel then they are not nice. If someone visits the cow then the cow is red. If someone is nice then they like the cat. If the cow visits the cat and the cat eats the cow then the cow is young. If someone visits the squirrel and the squirrel eats the cow then the squirrel does not visit the cow. If the cat visits the cow and the cat is not nice then the cat is rough.
The cat is not rough.
@0: The cat does not like the cow.[(triple4)] The cat eats the squirrel.[(triple1)] The cat is red.[(triple2)] The cat is young.[(triple3)] The cat visits the cow.[(triple5)] The cat visits the squirrel.[(triple6)] The cow is not kind.[(triple7)] The squirrel does not like the cow.[(triple14)] The squirrel eats the cat.[(triple8 OR ((triple11) -> rule1))] The squirrel eats the cow.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is not rough.[(triple13)] The squirrel is red.[(triple12)] The squirrel visits the cat.[(triple15)] @1: The cat is not nice.[(((triple6) -> rule3))] The cow is red.[(((triple5) -> rule4))] The squirrel does not visit the cow.[(((triple6 triple9) -> rule7))] The squirrel likes the cat.[(((triple11) -> rule5))] @2: The cat is rough.[(((triple5 ((triple6) -> rule3)) -> rule8))]