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