Erin is kind. Fiona is rough. All green, smart things are rough. All round things are young. Rough things are green. Smart, rough things are kind. All green things are round. Kind things are rough.
Fiona is smart.
@0: Erin is kind.[(triple1)] Fiona is rough.[(triple2)] @1: Erin is rough.[(((triple1) -> rule6))] Fiona is green.[(((triple2) -> rule3))] @2: Erin is green.[(((((triple1) -> rule6)) -> rule3))] Fiona is round.[(((((triple2) -> rule3)) -> rule5))] @3: Erin is round.[(((((((triple1) -> rule6)) -> rule3)) -> rule5))] Fiona is young.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))] @4: Erin is young.[(((((((((triple1) -> rule6)) -> rule3)) -> rule5)) -> rule2))]