Charlie is blue. Charlie is furry. Charlie is rough. Charlie is round. Dave is blue. Dave is cold. Dave is furry. Dave is round. Dave is smart. Gary is rough. Harry is blue. Harry is cold. Harry is furry. Harry is round. Harry is smart. All rough, kind people are cold. If someone is smart and rough then they are kind. All furry, round people are smart.
Charlie is not kind.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9 OR ((triple7 triple8) -> rule3))] Gary is rough.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple13 triple14) -> rule3))] @1: Charlie is smart.[(((triple2 triple4) -> rule3))] @2: Charlie is kind.[(((((triple2 triple4) -> rule3) triple3) -> rule2))] @3: Charlie is cold.[(((triple3 ((((triple2 triple4) -> rule3) triple3) -> rule2)) -> rule1))]