Erin is blue. Erin is green. Erin is rough. If something is cold and blue then it is white. If something is red and cold then it is blue. If something is white then it is cold. Red things are rough. If something is green then it is big. Blue things are red. All white things are blue. Cold things are red.
Erin is green.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is rough.[(triple3 OR ((((triple1) -> rule6)) -> rule4))] @1: Erin is big.[(((triple2) -> rule5))] Erin is red.[(((triple1) -> rule6))]