The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel is young. Young things are kind. If the squirrel is round then the squirrel is red. All kind, big things are round. Young things are kind. All round things are big. All kind things are young.
The squirrel is not young.
@0: The squirrel is big.[(triple1 OR ((triple4) -> rule5))] The squirrel is kind.[(triple2 OR ((triple5) -> rule1) OR ((triple5) -> rule4))] The squirrel is red.[(triple3 OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule3)) -> rule2) OR ((((((triple5) -> rule1) triple1) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple1) -> rule3)) -> rule2))] The squirrel is round.[(triple4 OR ((triple2 triple1) -> rule3) OR ((((triple5) -> rule1) triple1) -> rule3) OR ((((triple5) -> rule4) triple1) -> rule3))] The squirrel is young.[(triple5 OR ((triple2) -> rule6))]