Erin is nice. Erin is white. Erin is young. If someone is big then they are white. If someone is big and white then they are young. If Erin is young and Erin is nice then Erin is kind. If Erin is kind then Erin is white. Round people are blue. All round people are kind. Nice people are white. All blue, nice people are round.
Erin is not round.
@0: Erin is nice.[(triple1)] Erin is white.[(triple2 OR ((triple1) -> rule7) OR ((((triple3 triple1) -> rule3)) -> rule4))] Erin is young.[(triple3)] @1: Erin is kind.[(((triple3 triple1) -> rule3))]