Bob is round. Erin is big. Fiona is young. Gary is quiet. If Gary is quiet and Gary is big then Gary is red. Young, white things are rough. If something is white and quiet then it is young. All big things are round. All quiet things are red. All red things are big.
Erin is round.
@0: Bob is round.[(triple1)] Erin is big.[(triple2)] Fiona is young.[(triple3)] Gary is quiet.[(triple4)] @1: Erin is round.[(((triple2) -> rule4))] Gary is red.[(((triple4) -> rule5))] @2: Gary is big.[(((((triple4) -> rule5)) -> rule6))] @3: Gary is round.[(((((((triple4) -> rule5)) -> rule6)) -> rule4))]