Charlie is green. Furry, quiet things are blue. All furry, quiet things are cold. White, quiet things are cold. All cold things are white. All furry, white things are blue. If something is green then it is quiet. If something is cold and quiet then it is white. All green things are furry.
Charlie is white.
@0: Charlie is green.[(triple1)] @1: Charlie is furry.[(((triple1) -> rule8))] Charlie is quiet.[(((triple1) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule8) ((triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule8) ((((((triple1) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple1) -> rule8) ((((((triple1) -> rule8) ((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule7)) -> rule5))] Charlie is cold.[(((((triple1) -> rule8) ((triple1) -> rule6)) -> rule2))] @3: Charlie is white.[(((((((triple1) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule8) ((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule7))]