Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is young. Erin is rough. Erin is round. Erin is young. Harry is red. Harry is rough. If someone is rough and not red then they are cold. If someone is blue and not red then they are cold. All young people are cold. All red people are young. If Harry is cold then Harry is blue. If someone is rough and not red then they are not nice.
Erin is not red.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple7) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule4))] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Erin is cold.[(((triple10) -> rule3))] Harry is young.[(((triple11) -> rule4))] @2: Harry is cold.[(((((triple11) -> rule4)) -> rule3))] @3: Harry is blue.[(((((((triple11) -> rule4)) -> rule3)) -> rule5))]