Charlie is big. Dave is nice. Fiona is quiet. If Charlie is rough then Charlie is smart. Rough, nice people are furry. If someone is rough then they are big. If someone is rough and young then they are furry. Nice people are young. All young people are smart.
Fiona is nice.
@0: Charlie is big.[(triple1)] Dave is nice.[(triple2)] Fiona is quiet.[(triple3)] @1: Dave is young.[(((triple2) -> rule5))] @2: Dave is smart.[(((((triple2) -> rule5)) -> rule6))]