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