Fiona is big. Fiona is nice. Gary is big. All young things are big. Big, smart things are young. All green things are big. If something is green and rough then it is round. All big, young things are smart. All round things are smart. If something is big then it is round. If something is green and rough then it is young.
Fiona is round.
@0: Fiona is big.[(triple1)] Fiona is nice.[(triple2)] Gary is big.[(triple3)] @1: Fiona is round.[(((triple1) -> rule7))] Gary is round.[(((triple3) -> rule7))] @2: Fiona is smart.[(((((triple1) -> rule7)) -> rule6))] Gary is smart.[(((((triple3) -> rule7)) -> rule6))] @3: Fiona is young.[(((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule2))] Gary is young.[(((triple3 ((((triple3) -> rule7)) -> rule6)) -> rule2))]