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