Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Nice things are white. If something is quiet and furry then it is cold.
Dave is kind.
@0: Charlie is cold.[(triple1 OR ((triple5 triple2) -> rule2))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple4) -> rule1))] Dave is cold.[(triple8 OR ((triple12 triple9) -> rule2))] Dave is furry.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is quiet.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14 OR ((triple11) -> rule1))]