The squirrel is blue. The squirrel is cold. The squirrel is not kind. The squirrel is nice. The squirrel is young. If something is kind and not cold then it is young. If something is blue and kind then it is not young. If something is kind then it is young. All nice things are blue. If something is nice and not kind then it is blue. Young things are blue. All cold things are nice. Cold, blue things are nice.
The squirrel needs the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple4) -> rule4) OR ((triple5) -> rule6) OR ((triple4 triple3) -> rule5) OR ((((triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule7) triple3) -> rule5))] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple4 OR ((triple2) -> rule7) OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple5) -> rule6)) -> rule8))] The squirrel is not kind.[(triple3)] The squirrel is young.[(triple5)]