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