The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel is young. If someone is young and round then they are nice. Green, rough people are round. If someone is round then they are green. Green people are nice. If the squirrel is green and the squirrel is round then the squirrel is rough. All nice, green people are round.
The squirrel is not round.
@0: The squirrel is green.[(triple1 OR ((triple4) -> rule3))] The squirrel is nice.[(triple2 OR ((triple1) -> rule4) OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule3)) -> rule4) OR ((triple5 ((triple1 triple3) -> rule2)) -> rule1))] The squirrel is rough.[(triple3 OR ((triple1 triple4) -> rule5) OR ((triple1 ((triple2 triple1) -> rule6)) -> rule5) OR ((((triple4) -> rule3) triple4) -> rule5) OR ((((triple4) -> rule3) ((triple2 triple1) -> rule6)) -> rule5) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule6)) -> rule5) OR ((((triple4) -> rule3) ((((triple1) -> rule4) triple1) -> rule6)) -> rule5))] The squirrel is round.[(triple4 OR ((triple1 triple3) -> rule2) OR ((triple2 triple1) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6))] The squirrel is young.[(triple5)]