Dave is green. Dave is round. Dave is young. Erin is big. Erin is not blue. Erin is young. Fiona is big. If something is cold then it is not blue. If Dave is not big then Dave is cold. All big things are cold.
Erin is round.
@0: Dave is green.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is not blue.[(triple5 OR ((((triple4) -> rule3)) -> rule1))] Erin is young.[(triple6)] Fiona is big.[(triple7)] @1: Erin is cold.[(((triple4) -> rule3))] Fiona is cold.[(((triple7) -> rule3))] @2: Fiona is not blue.[(((((triple7) -> rule3)) -> rule1))]