The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is round. The squirrel is young. Big, blue people are round. If the squirrel is young then the squirrel is blue.
The squirrel does not visit the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple5) -> rule2))] The squirrel is kind.[(triple3)] The squirrel is round.[(triple4 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple5) -> rule2)) -> rule1))] The squirrel is young.[(triple5)]