The rabbit is blue. The rabbit is young. The rabbit likes the tiger. The rabbit sees the squirrel. The rabbit sees the tiger. The rabbit visits the squirrel. The squirrel is big. The squirrel sees the tiger. The squirrel visits the tiger. The tiger likes the rabbit. The tiger likes the squirrel. The tiger sees the rabbit. The tiger sees the squirrel. The tiger visits the rabbit. The tiger visits the squirrel. If someone sees the rabbit then the rabbit likes the squirrel. If someone is blue and they see the tiger then the tiger sees the rabbit. If someone likes the squirrel then they are blue.
The squirrel is not blue.
@0: The rabbit is blue.[(triple1 OR ((((triple12) -> rule1)) -> rule3))] The rabbit is young.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit sees the squirrel.[(triple4)] The rabbit sees the tiger.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel is big.[(triple7)] The squirrel sees the tiger.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger sees the rabbit.[(triple12 OR ((triple1 triple5) -> rule2))] The tiger sees the squirrel.[(triple13)] The tiger visits the rabbit.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The rabbit likes the squirrel.[(((triple12) -> rule1) OR ((((triple1 triple5) -> rule2)) -> rule1))] The tiger is blue.[(((triple11) -> rule3))]