The cow likes the squirrel. The rabbit chases the squirrel. The rabbit is rough. The rabbit is young. The rabbit does not like the squirrel. The squirrel is not kind. The squirrel is not round. If someone likes the squirrel then they like the rabbit. All rough people are young. If someone chases the rabbit and they chase the squirrel then they do not like the cow. If someone needs the rabbit then the rabbit is blue. If someone likes the squirrel then the squirrel is blue. If someone likes the squirrel and they are kind then the squirrel likes the rabbit. Blue people are rough. If the rabbit does not need the squirrel then the rabbit is not rough.
The rabbit is blue.
@0: The cow likes the squirrel.[(triple1)] The rabbit chases the squirrel.[(triple2)] The rabbit does not like the squirrel.[(triple5)] The rabbit is rough.[(triple3)] The rabbit is young.[(triple4 OR ((triple3) -> rule2))] The squirrel is not kind.[(triple6)] The squirrel is not round.[(triple7)] @1: The cow likes the rabbit.[(((triple1) -> rule1))] The squirrel is blue.[(((triple1) -> rule5))] @2: The squirrel is rough.[(((((triple1) -> rule5)) -> rule7))] @3: The squirrel is young.[(((((((triple1) -> rule5)) -> rule7)) -> rule2))]