Charlie is blue. If something is blue and smart then it is quiet. Blue things are big. If something is big then it is quiet. All quiet, furry things are big. If something is quiet then it is furry. All quiet things are round. All blue, big things are quiet. If Charlie is blue and Charlie is big then Charlie is green.
Charlie is big.
@0: Charlie is blue.[(triple1)] @1: Charlie is big.[(((triple1) -> rule2))] @2: Charlie is green.[(((triple1 ((triple1) -> rule2)) -> rule8))] Charlie is quiet.[(((((triple1) -> rule2)) -> rule3) OR ((triple1 ((triple1) -> rule2)) -> rule7))] @3: Charlie is furry.[(((((((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule7)) -> rule5))] Charlie is round.[(((((((triple1) -> rule2)) -> rule3)) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule7)) -> rule6))]