Dave is cold. Dave is kind. Dave is young. Erin is cold. Erin is rough. Erin is round. Fiona is round. All round, rough things are kind. White, kind things are young. Kind, cold things are white.
Erin is young.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is young.[(triple3 OR ((((triple2 triple1) -> rule3) triple2) -> rule2))] Erin is cold.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Fiona is round.[(triple7)] @1: Dave is white.[(((triple2 triple1) -> rule3))] Erin is kind.[(((triple6 triple5) -> rule1))] @2: Erin is white.[(((((triple6 triple5) -> rule1) triple4) -> rule3))] @3: Erin is young.[(((((((triple6 triple5) -> rule1) triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule2))]