Bob is quiet. Charlie is furry. Fiona is young. If Fiona is quiet then Fiona is red. If Bob is rough then Bob is furry. If someone is round and white then they are red. Quiet people are round. All quiet, red people are young. If Bob is quiet and Bob is round then Bob is white.
Charlie is rough.
@0: Bob is quiet.[(triple1)] Charlie is furry.[(triple2)] Fiona is young.[(triple3)] @1: Bob is round.[(((triple1) -> rule4))] @2: Bob is white.[(((triple1 ((triple1) -> rule4)) -> rule6))] @3: Bob is red.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule6)) -> rule3))] @4: Bob is young.[(((triple1 ((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule5))]