Charlie is big. Charlie is quiet. Charlie is white. All big things are kind. All blue, white things are kind. All young things are kind. All big things are kind. If something is red then it is blue. If something is quiet and red then it is kind. If something is young then it is blue. If Charlie is big then Charlie is young.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1) OR ((triple1) -> rule4) OR ((((triple1) -> rule8)) -> rule3) OR ((((((triple1) -> rule8)) -> rule7) triple3) -> rule2))] Charlie is young.[(((triple1) -> rule8))] @2: Charlie is blue.[(((((triple1) -> rule8)) -> rule7))]