Bob is white. Charlie is big. Fiona is nice. Gary is kind. If someone is nice then they are white. Big people are round. White, nice people are big.
Charlie is white.
@0: Bob is white.[(triple1)] Charlie is big.[(triple2)] Fiona is nice.[(triple3)] Gary is kind.[(triple4)] @1: Charlie is round.[(((triple2) -> rule2))] Fiona is white.[(((triple3) -> rule1))] @2: Fiona is big.[(((((triple3) -> rule1) triple3) -> rule3))] @3: Fiona is round.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]