Bob is furry. Charlie is quiet. Nice things are smart. If something is smart then it is red. If something is furry and smart then it is nice. If Charlie is furry and Charlie is quiet then Charlie is young. If Charlie is quiet and Charlie is white then Charlie is furry. Young things are white. All smart, furry things are quiet. If something is quiet then it is white.
Bob is not red.
@0: Bob is furry.[(triple1)] Charlie is quiet.[(triple2)] @1: Charlie is white.[(((triple2) -> rule8))] @2: Charlie is furry.[(((triple2 ((triple2) -> rule8)) -> rule5))] @3: Charlie is young.[(((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4))]