Charlie is furry. Charlie is green. Dave is cold. Dave is green. Dave is kind. Erin is big. Erin is cold. Erin is not green. Harry is cold. Harry is not furry. Harry is kind. Harry is red. Kind, green people are red. If Dave is kind and Dave is not green then Dave is furry. If someone is green then they are kind. If someone is furry and green then they are white. If someone is big and not white then they are cold. Red people are cold.
Erin is white.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Dave is cold.[(triple3 OR ((((triple5 triple4) -> rule1)) -> rule6) OR ((((((triple4) -> rule3) triple4) -> rule1)) -> rule6))] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((triple4) -> rule3))] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is not green.[(triple8)] Harry is cold.[(triple9 OR ((triple12) -> rule6))] Harry is kind.[(triple11)] Harry is not furry.[(triple10)] Harry is red.[(triple12)] @1: Charlie is kind.[(((triple2) -> rule3))] Charlie is white.[(((triple1 triple2) -> rule4))] Dave is red.[(((triple5 triple4) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1))] @2: Charlie is red.[(((((triple2) -> rule3) triple2) -> rule1))] @3: Charlie is cold.[(((((((triple2) -> rule3) triple2) -> rule1)) -> rule6))]