The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is kind. The squirrel needs the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone sees the rabbit then the rabbit needs the squirrel. If someone sees the squirrel and the squirrel needs the rabbit then they are blue.
The rabbit visits the squirrel.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple7 triple10) -> rule2))] The rabbit is kind.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the squirrel.[(triple6 OR ((triple11) -> rule1))] The rabbit sees the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the rabbit.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)]