Charlie is red. Harry is young. If someone is white and big then they are not young. If Charlie is red then Charlie is quiet. White people are big. Red people are white. If someone is quiet then they are white. White people are red.
Charlie is furry.
@0: Charlie is red.[(triple1)] Harry is young.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule2))] Charlie is white.[(((triple1) -> rule4) OR ((((triple1) -> rule2)) -> rule5))] @2: Charlie is big.[(((((triple1) -> rule4)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5)) -> rule3))] @3: Charlie is not young.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2)) -> rule5) ((((triple1) -> rule4)) -> rule3)) -> rule1) OR ((((triple1) -> rule4) ((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2)) -> rule5) ((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule1))]