Charlie is blue. Charlie is white. Harry is cold. All quiet people are cold. If someone is quiet then they are kind. Cold, quiet people are young. If Charlie is white then Charlie is blue. White people are big. Big people are quiet.
Charlie is big.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule4))] Charlie is white.[(triple2)] Harry is cold.[(triple3)] @1: Charlie is big.[(((triple2) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule5)) -> rule6))] @3: Charlie is cold.[(((((((triple2) -> rule5)) -> rule6)) -> rule1))] Charlie is kind.[(((((((triple2) -> rule5)) -> rule6)) -> rule2))] @4: Charlie is young.[(((((((((triple2) -> rule5)) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule6)) -> rule3))]