Charlie is furry. Charlie is rough. Charlie is smart. All big things are smart. Big, furry things are quiet. If something is quiet and rough then it is big. If Charlie is furry and Charlie is quiet then Charlie is smart. If Charlie is rough then Charlie is blue. All blue, rough things are kind. Furry things are rough. All kind things are big.
Charlie is blue.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2 OR ((triple1) -> rule7))] Charlie is smart.[(triple3 OR ((((((((triple2) -> rule5) triple2) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple2) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8)) -> rule1) OR ((((((((((triple1) -> rule7)) -> rule5) triple2) -> rule6)) -> rule8)) -> rule1) OR ((triple1 ((((((((triple2) -> rule5) triple2) -> rule6)) -> rule8) triple1) -> rule2)) -> rule4) OR ((((((((((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8)) -> rule1) OR ((triple1 ((((((((triple2) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8) triple1) -> rule2)) -> rule4) OR ((triple1 ((((((((((triple1) -> rule7)) -> rule5) triple2) -> rule6)) -> rule8) triple1) -> rule2)) -> rule4) OR ((triple1 ((((((((((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8) triple1) -> rule2)) -> rule4))] @1: Charlie is blue.[(((triple2) -> rule5) OR ((((triple1) -> rule7)) -> rule5))] @2: Charlie is kind.[(((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule5) ((triple1) -> rule7)) -> rule6) OR ((((((triple1) -> rule7)) -> rule5) triple2) -> rule6) OR ((((((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule6))] @3: Charlie is big.[(((((((triple2) -> rule5) triple2) -> rule6)) -> rule8) OR ((((((triple2) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8) OR ((((((((triple1) -> rule7)) -> rule5) triple2) -> rule6)) -> rule8) OR ((((((((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8))] @4: Charlie is quiet.[(((((((((triple2) -> rule5) triple2) -> rule6)) -> rule8) triple1) -> rule2) OR ((((((((triple2) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8) triple1) -> rule2) OR ((((((((((triple1) -> rule7)) -> rule5) triple2) -> rule6)) -> rule8) triple1) -> rule2) OR ((((((((((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule6)) -> rule8) triple1) -> rule2))]