Charlie is cold. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Harry is cold. Harry is quiet. Harry is red. Harry is smart. Harry is young. If something is red and quiet then it is furry. Young, rough things are smart. If something is red and rough then it is quiet.
Charlie is furry.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4 OR ((triple5 triple3) -> rule2))] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10 OR ((triple11 triple9) -> rule2))] Dave is young.[(triple11)] Harry is cold.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Charlie is quiet.[(((triple2 triple3) -> rule3))] Harry is furry.[(((triple14 triple13) -> rule1))] @2: Charlie is furry.[(((triple2 ((triple2 triple3) -> rule3)) -> rule1))]