The squirrel is blue. If the squirrel is kind then the squirrel is blue. Blue, young people are not nice. If someone is blue then they are young. Kind people are blue. If someone is blue and not kind then they are not red. If someone is young and not kind then they are red. All blue people are red. If the squirrel is kind and the squirrel is not blue then the squirrel is nice.
The squirrel is nice.
@0: The squirrel is blue.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule7))] The squirrel is young.[(((triple1) -> rule3))] @2: The squirrel is not nice.[(((triple1 ((triple1) -> rule3)) -> rule2))]