The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is rough. All kind, blue things are nice. Cold things are rough. Blue things are nice. Nice, cold things are rough. Blue things are kind. If the squirrel is cold and the squirrel is blue then the squirrel is nice. If the squirrel is cold and the squirrel is nice then the squirrel is rough. If the squirrel is cold then the squirrel is rough.
The squirrel eats the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3 OR ((triple1) -> rule5))] The squirrel is nice.[(triple4 OR ((triple1) -> rule3) OR ((triple2 triple1) -> rule6) OR ((triple3 triple1) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule1))] The squirrel is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule8) OR ((triple2 triple4) -> rule7) OR ((triple4 triple2) -> rule4) OR ((triple2 ((triple1) -> rule3)) -> rule7) OR ((triple2 ((triple2 triple1) -> rule6)) -> rule7) OR ((triple2 ((triple3 triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule3) triple2) -> rule4) OR ((((triple2 triple1) -> rule6) triple2) -> rule4) OR ((((triple3 triple1) -> rule1) triple2) -> rule4) OR ((triple2 ((((triple1) -> rule5) triple1) -> rule1)) -> rule7) OR ((((((triple1) -> rule5) triple1) -> rule1) triple2) -> rule4))]