Bob is young. Erin is not furry. Fiona is young. If Fiona is white and Fiona is young then Fiona is not rough. If Fiona is quiet and Fiona is big then Fiona is rough. If someone is furry then they are not blue. If someone is young then they are quiet. All white people are young. Quiet people are big.
Erin is quiet.
@0: Bob is young.[(triple1)] Erin is not furry.[(triple2)] Fiona is young.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule4))] Fiona is quiet.[(((triple3) -> rule4))] @2: Bob is big.[(((((triple1) -> rule4)) -> rule6))] Fiona is big.[(((((triple3) -> rule4)) -> rule6))] @3: Fiona is rough.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule6)) -> rule2))]