Bob is big. Fiona is round. Harry is blue. If Bob is green and Bob is big then Bob is young. If someone is round then they are quiet. If Bob is big and Bob is green then Bob is round. Quiet, blue people are green. All blue people are round. Green people are blue.
Fiona is quiet.
@0: Bob is big.[(triple1)] Fiona is round.[(triple2)] Harry is blue.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule2))] Harry is round.[(((triple3) -> rule5))] @2: Harry is quiet.[(((((triple3) -> rule5)) -> rule2))] @3: Harry is green.[(((((((triple3) -> rule5)) -> rule2) triple3) -> rule4))]