Erin is big. Erin is rough. Erin is white. If Erin is white then Erin is big. If someone is white and blue then they are cold.
Erin is red.
@0: Erin is big.[(triple1 OR ((triple3) -> rule1))] Erin is rough.[(triple2)] Erin is white.[(triple3)]