Bob is furry. Bob is kind. Bob is nice. Bob is not quiet. Bob is smart. Charlie is furry. Charlie is quiet. Gary is not kind. Gary is nice. Gary is smart. Harry is quiet. Harry is smart. Quiet people are kind. If Charlie is kind then Charlie is not smart. If someone is blue and not quiet then they are smart. If someone is nice then they are round. If someone is furry and not smart then they are round. If someone is smart and not furry then they are round.
Gary is not furry.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is smart.[(triple5)] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] Gary is nice.[(triple9)] Gary is not kind.[(triple8)] Gary is smart.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Bob is round.[(((triple3) -> rule4))] Charlie is kind.[(((triple7) -> rule1))] Gary is round.[(((triple9) -> rule4))] Harry is kind.[(((triple11) -> rule1))] @2: Charlie is not smart.[(((((triple7) -> rule1)) -> rule2))] @3: Charlie is round.[(((triple6 ((((triple7) -> rule1)) -> rule2)) -> rule5))]