Charlie is kind. Charlie is nice. Charlie is red. Charlie is young. Erin is cold. Erin is not kind. Erin is nice. Erin is red. Erin is smart. Erin is young. Harry is cold. Harry is not nice. Harry is red. Harry is smart. Harry is young. If Harry is not nice then Harry is cold. Cold people are red. All red, kind people are cold. If someone is nice then they are cold. If Harry is nice then Harry is red. If someone is kind and not cold then they are smart.
Charlie is not nice.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3 OR ((((triple2) -> rule4)) -> rule2))] Charlie is young.[(triple4)] Erin is cold.[(triple5 OR ((triple7) -> rule4))] Erin is nice.[(triple7)] Erin is not kind.[(triple6)] Erin is red.[(triple8 OR ((triple5) -> rule2) OR ((((triple7) -> rule4)) -> rule2))] Erin is smart.[(triple9)] Erin is young.[(triple10)] Harry is cold.[(triple11 OR ((triple12) -> rule1))] Harry is not nice.[(triple12)] Harry is red.[(triple13 OR ((triple11) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Charlie is cold.[(((triple2) -> rule4) OR ((triple3 triple1) -> rule3))]