Erin is cold. Fiona is smart. If something is cold then it is rough. All rough things are red. Red things are kind. All cold things are blue. If Fiona is cold then Fiona is big. All rough, blue things are red. If something is blue and smart then it is red. Kind things are blue.
Fiona is cold.
@0: Erin is cold.[(triple1)] Fiona is smart.[(triple2)] @1: Erin is blue.[(((triple1) -> rule4) OR ((((((((triple1) -> rule1)) -> rule2)) -> rule3)) -> rule8))] Erin is rough.[(((triple1) -> rule1))] @2: Erin is red.[(((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule1) ((triple1) -> rule4)) -> rule6))] @3: Erin is kind.[(((((((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1) ((triple1) -> rule4)) -> rule6)) -> rule3))]