Erin is cold. Erin is furry. Erin is not green. Erin is not kind. Erin is not rough. Erin is round. Erin is white. Harry is cold. Harry is green. Harry is rough. Harry is round. Harry is white. If someone is green then they are rough. If someone is cold and not furry then they are not rough. If someone is rough and round then they are cold. If someone is kind then they are green. Furry people are white. Cold people are round.
Harry is kind.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is not green.[(triple3)] Erin is not kind.[(triple4)] Erin is not rough.[(triple5)] Erin is round.[(triple6 OR ((triple1) -> rule6))] Erin is white.[(triple7 OR ((triple2) -> rule5))] Harry is cold.[(triple8 OR ((triple10 triple11) -> rule3) OR ((((triple9) -> rule1) triple11) -> rule3))] Harry is green.[(triple9)] Harry is rough.[(triple10 OR ((triple9) -> rule1))] Harry is round.[(triple11 OR ((triple8) -> rule6))] Harry is white.[(triple12)]