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 not cold.
@0: Erin is big.[(triple1 OR ((triple3) -> rule1))] Erin is rough.[(triple2)] Erin is white.[(triple3)]