Dave is round. Erin is rough. Fiona is cold. Gary is rough. If someone is kind then they are young. Cold, round people are young. If someone is big and rough then they are kind. Cold people are big. If someone is round and kind then they are rough. If someone is kind and cold then they are young. All cold, big people are kind. All kind, rough people are big.
Erin is rough.
@0: Dave is round.[(triple1)] Erin is rough.[(triple2)] Fiona is cold.[(triple3)] Gary is rough.[(triple4)] @1: Fiona is big.[(((triple3) -> rule4))] @2: Fiona is kind.[(((triple3 ((triple3) -> rule4)) -> rule7))] @3: Fiona is young.[(((((triple3 ((triple3) -> rule4)) -> rule7)) -> rule1) OR ((((triple3 ((triple3) -> rule4)) -> rule7) triple3) -> rule6))]