The cow chases the squirrel. The cow eats the squirrel. The cow is kind. The cow is not red. The rabbit chases the cow. The rabbit eats the squirrel. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the cow. The squirrel is kind. The squirrel visits the cow. The squirrel visits the rabbit. If something is kind and it visits the squirrel then the squirrel is kind. If something visits the cow and it is red then the cow visits the rabbit. If something visits the cow and it chases the squirrel then the cow does not chase the squirrel. If something visits the rabbit then the rabbit chases the cow. If something visits the cow and it eats the rabbit then it is rough. If something chases the cow and it visits the rabbit then the cow eats the squirrel.
The squirrel is not rough.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is kind.[(triple3)] The cow is not red.[(triple4)] The rabbit chases the cow.[(triple5 OR ((triple16) -> rule4))] The rabbit eats the squirrel.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is rough.[(triple9)] The rabbit visits the cow.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is kind.[(triple14 OR ((triple7 triple11) -> rule1))] The squirrel visits the cow.[(triple15)] The squirrel visits the rabbit.[(triple16)]