Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is white. Erin is young. Gary is rough. Gary is white. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is white. Harry is young. If someone is kind then they are nice. If someone is nice then they are cold. All furry, kind people are nice. If Gary is furry and Gary is nice then Gary is rough. Cold, kind people are furry. All cold people are white.
Erin is kind.
@0: Erin is cold.[(triple1 OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple2 triple3) -> rule3)) -> rule2))] Erin is furry.[(triple2 OR ((triple1 triple3) -> rule5) OR ((((triple4) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule1)) -> rule2) triple3) -> rule5))] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple3) -> rule1) OR ((triple2 triple3) -> rule3) OR ((((triple1 triple3) -> rule5) triple3) -> rule3))] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple1) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple2 triple3) -> rule3)) -> rule2)) -> rule6))] Erin is young.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9)] Harry is cold.[(triple10 OR ((triple13) -> rule2) OR ((((triple12) -> rule1)) -> rule2) OR ((((triple11 triple12) -> rule3)) -> rule2))] Harry is furry.[(triple11 OR ((triple10 triple12) -> rule5) OR ((((triple13) -> rule2) triple12) -> rule5) OR ((((((triple12) -> rule1)) -> rule2) triple12) -> rule5))] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple12) -> rule1) OR ((triple11 triple12) -> rule3) OR ((((triple10 triple12) -> rule5) triple12) -> rule3))] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple10) -> rule6) OR ((((triple13) -> rule2)) -> rule6) OR ((((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((((triple11 triple12) -> rule3)) -> rule2)) -> rule6))] Harry is young.[(triple16)]