The cow is red. The cow likes the squirrel. The cow sees the tiger. The cow visits the tiger. The rabbit likes the cow. The rabbit likes the squirrel. The rabbit sees the cow. The rabbit visits the cow. The rabbit visits the tiger. The squirrel is red. The squirrel likes the rabbit. The tiger is round. The tiger likes the rabbit. The tiger likes the squirrel. The tiger visits the rabbit. If someone visits the cow and the cow sees the rabbit then they like the tiger. If someone is young then they see the cow. If the cow is rough then the cow is young. If someone sees the tiger and the tiger likes the squirrel then they are rough. If someone is young and rough then they are red. If someone likes the tiger and the tiger is red then the tiger likes the rabbit.
The cow is not round.
@0: The cow is red.[(triple1 OR ((((((triple3 triple14) -> rule4)) -> rule3) ((triple3 triple14) -> rule4)) -> rule5))] The cow likes the squirrel.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the tiger.[(triple4)] The rabbit likes the cow.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit sees the cow.[(triple7)] The rabbit visits the cow.[(triple8)] The rabbit visits the tiger.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the rabbit.[(triple11)] The tiger is round.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The cow is rough.[(((triple3 triple14) -> rule4))] @2: The cow is young.[(((((triple3 triple14) -> rule4)) -> rule3))] @3: The cow sees the cow.[(((((((triple3 triple14) -> rule4)) -> rule3)) -> rule2))]