Erin is blue. Erin is furry. Erin is young. If someone is furry then they are young. All kind people are young. Young people are blue. If Erin is white then Erin is not furry. If Erin is not white then Erin is not nice. If Erin is white then Erin is round. Blue, round people are nice. If someone is white and not blue then they are nice.
Erin is not nice.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Erin is furry.[(triple2)] Erin is young.[(triple3 OR ((triple2) -> rule1))]