Erin is big. Erin is red. Erin is white. If someone is white and big then they are blue. If Erin is red then Erin is blue. Furry, big people are white.
Erin is furry.
@0: Erin is big.[(triple1)] Erin is red.[(triple2)] Erin is white.[(triple3)] @1: Erin is blue.[(((triple2) -> rule2) OR ((triple3 triple1) -> rule1))]