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