Charlie is not furry. Charlie is rough. Dave is furry. Dave is nice. Dave is rough. Harry is blue. Harry is rough. If someone is smart then they are blue. If someone is rough and not furry then they are smart. If someone is smart and not furry then they are rough. Big, round people are rough. If someone is furry then they are rough. If someone is round and blue then they are not nice. Blue, smart people are not round. Furry, smart people are round.
Charlie is big.
@0: Charlie is not furry.[(triple1)] Charlie is rough.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule5))] Harry is blue.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is smart.[(((triple2 triple1) -> rule2))] @2: Charlie is blue.[(((((triple2 triple1) -> rule2)) -> rule1))] @3: Charlie is not round.[(((((((triple2 triple1) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule7))]