The cow is kind. The cow is nice. The cow is rough. The cow sees the rabbit. The rabbit chases the squirrel. The rabbit sees the squirrel. The squirrel chases the cow. The squirrel is big. The squirrel is rough. The squirrel is young. The squirrel visits the cow. The squirrel visits the rabbit. If something is kind then it visits the squirrel. If something is kind then it chases the rabbit. If something chases the squirrel and the squirrel visits the rabbit then it sees the cow.
The rabbit is kind.
@0: The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3)] The cow sees the rabbit.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel is big.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] The squirrel visits the cow.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The cow chases the rabbit.[(((triple1) -> rule2))] The cow visits the squirrel.[(((triple1) -> rule1))] The rabbit sees the cow.[(((triple5 triple12) -> rule3))]