Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is not round. Charlie is smart. Charlie is young. Dave is kind. Dave is nice. Dave is red. Dave is not smart. Dave is young. If Dave is young then Dave is cold. Smart things are young. All red things are nice. If something is kind then it is not round. If something is kind and not cold then it is round. Young, smart things are not round.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple4) -> rule3))] Charlie is not round.[(triple5 OR ((triple2) -> rule4) OR ((triple7 triple6) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule6))] Charlie is red.[(triple4)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule2))] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple10) -> rule3))] Dave is not smart.[(triple11)] Dave is red.[(triple10)] Dave is young.[(triple12)] @1: Dave is cold.[(((triple12) -> rule1))] Dave is not round.[(((triple8) -> rule4))]