Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is young. Erin is kind. If someone is red then they are cold. All red people are cold. All red people are furry. If someone is nice and furry then they are red. All green people are cold. All furry people are cold. If someone is red and furry then they are young. All red people are kind.
Charlie is not red.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule5) OR ((((triple5 triple2) -> rule4)) -> rule1) OR ((((triple5 triple2) -> rule4)) -> rule2))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((((triple5 triple2) -> rule4)) -> rule8))] Charlie is nice.[(triple5)] Charlie is young.[(triple6 OR ((((triple5 triple2) -> rule4) triple2) -> rule7))] Erin is kind.[(triple7)] @1: Charlie is red.[(((triple5 triple2) -> rule4))]