Charlie is big. Charlie is cold. Charlie is red. Charlie is round. Dave is big. Dave is not cold. Dave is not furry. Dave is red. Dave is round. Dave is not white. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is red. Erin is not young. Young, cold people are not furry. All round, cold people are furry. If someone is cold and white then they are furry. If someone is big then they are round. If someone is cold then they are not young. If Erin is not white then Erin is big.
Charlie is young.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((triple1) -> rule4))] Dave is big.[(triple5)] Dave is not cold.[(triple6)] Dave is not furry.[(triple7)] Dave is not white.[(triple10)] Dave is red.[(triple8)] Dave is round.[(triple9 OR ((triple5) -> rule4))] Dave is young.[(triple11)] Erin is big.[(triple12)] Erin is cold.[(triple13)] Erin is furry.[(triple14 OR ((((triple12) -> rule4) triple13) -> rule2))] Erin is not young.[(triple16 OR ((triple13) -> rule5))] Erin is red.[(triple15)] @1: Charlie is furry.[(((triple4 triple2) -> rule2) OR ((((triple1) -> rule4) triple2) -> rule2))] Charlie is not young.[(((triple2) -> rule5))] Erin is round.[(((triple12) -> rule4))]