Dave is cold. Dave is kind. Dave is round. Erin is green. Erin is kind. Erin is rough. Fiona is rough. If someone is young then they are green. If Fiona is rough and Fiona is cold then Fiona is young. All green people are round. All rough people are kind. Round, young people are blue. All blue, rough people are young.
Erin is round.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is round.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple6) -> rule4))] Erin is rough.[(triple6)] Fiona is rough.[(triple7)] @1: Erin is round.[(((triple4) -> rule3))] Fiona is kind.[(((triple7) -> rule4))]