Charlie is blue. Charlie is not furry. Charlie is round. Charlie is young. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is round. Dave is smart. Erin is big. Erin is blue. Erin is round. Erin is smart. Harry is big. Harry is furry. If someone is young and round then they are cold. If someone is cold then they are big.
Erin is not smart.
@0: Charlie is blue.[(triple1)] Charlie is not furry.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Dave is big.[(triple5 OR ((triple7) -> rule2))] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10)] Erin is big.[(triple11)] Erin is blue.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)] Harry is big.[(triple15)] Harry is furry.[(triple16)] @1: Charlie is cold.[(((triple4 triple3) -> rule1))] @2: Charlie is big.[(((((triple4 triple3) -> rule1)) -> rule2))]