Dave is young. Erin is quiet. Fiona is big. Gary is rough. All rough people are big. All big people are rough. All quiet people are young. If Fiona is rough then Fiona is furry. All quiet people are young. All rough people are round. Quiet people are furry. If Fiona is round then Fiona is smart.
Dave is smart.
@0: Dave is young.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Gary is rough.[(triple4)] @1: Erin is furry.[(((triple2) -> rule7))] Erin is young.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Fiona is rough.[(((triple3) -> rule2))] Gary is big.[(((triple4) -> rule1))] Gary is round.[(((triple4) -> rule6))] @2: Fiona is furry.[(((((triple3) -> rule2)) -> rule4))] Fiona is round.[(((((triple3) -> rule2)) -> rule6))] @3: Fiona is smart.[(((((((triple3) -> rule2)) -> rule6)) -> rule8))]