Charlie is big. Dave is big. Dave is rough. Dave is round. Dave is smart. Dave is not young. Erin is big. Harry is big. Harry is furry. Harry is young. All big things are smart. If Harry is smart and Harry is not big then Harry is not furry. If something is furry and not smart then it is not young. Blue, young things are round. All young, smart things are not round. If something is smart and not round then it is rough.
Harry is rough.
@0: Charlie is big.[(triple1)] Dave is big.[(triple2)] Dave is not young.[(triple6)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple2) -> rule1))] Erin is big.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is young.[(triple10)] @1: Charlie is smart.[(((triple1) -> rule1))] Erin is smart.[(((triple7) -> rule1))] Harry is smart.[(((triple8) -> rule1))] @2: Harry is not round.[(((triple10 ((triple8) -> rule1)) -> rule5))] @3: Harry is rough.[(((((triple8) -> rule1) ((triple10 ((triple8) -> rule1)) -> rule5)) -> rule6))]