Bob is big. Fiona is quiet. Fiona is round. If something is round and quiet then it is rough. All smart, green things are young. If something is quiet then it is green. All green, rough things are quiet. All young things are quiet. If something is rough and green then it is big. Rough things are round. If Bob is young and Bob is green then Bob is quiet.
Fiona is big.
@0: Bob is big.[(triple1)] Fiona is quiet.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is green.[(((triple2) -> rule3))] Fiona is rough.[(((triple3 triple2) -> rule1))] @2: Fiona is big.[(((((triple3 triple2) -> rule1) ((triple2) -> rule3)) -> rule6))]