Erin is blue. Fiona is blue. Fiona is rough. All blue things are smart. If something is quiet and blue then it is rough. Big things are cold. All cold, blue things are white. All smart things are cold. If Erin is smart then Erin is blue. White things are blue. If something is quiet then it is big.
Erin is smart.
@0: Erin is blue.[(triple1)] Fiona is blue.[(triple2)] Fiona is rough.[(triple3)] @1: Erin is smart.[(((triple1) -> rule1))] Fiona is smart.[(((triple2) -> rule1))] @2: Erin is cold.[(((((triple1) -> rule1)) -> rule5))] Fiona is cold.[(((((triple2) -> rule1)) -> rule5))] @3: Erin is white.[(((((((triple1) -> rule1)) -> rule5) triple1) -> rule4))] Fiona is white.[(((((((triple2) -> rule1)) -> rule5) triple2) -> rule4))]