Anne is cold. Charlie is big. Charlie is kind. Charlie is young. Fiona is kind. Harry is big. Harry is nice. All furry people are rough. If someone is kind and young then they are nice. If Anne is cold then Anne is young. If someone is rough then they are kind. If someone is cold and furry then they are young. If Charlie is nice then Charlie is furry. Rough, furry people are nice. If someone is young then they are furry.
Charlie is kind.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3 OR ((((((triple4) -> rule8)) -> rule1)) -> rule4))] Charlie is young.[(triple4)] Fiona is kind.[(triple5)] Harry is big.[(triple6)] Harry is nice.[(triple7)] @1: Anne is young.[(((triple1) -> rule3))] Charlie is furry.[(((triple4) -> rule8) OR ((((triple3 triple4) -> rule2)) -> rule6))] Charlie is nice.[(((triple3 triple4) -> rule2) OR ((((((triple4) -> rule8)) -> rule1) ((triple4) -> rule8)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule4) triple4) -> rule2))] @2: Anne is furry.[(((((triple1) -> rule3)) -> rule8))] Charlie is rough.[(((((triple4) -> rule8)) -> rule1) OR ((((((triple3 triple4) -> rule2)) -> rule6)) -> rule1))] @3: Anne is rough.[(((((((triple1) -> rule3)) -> rule8)) -> rule1))] @4: Anne is kind.[(((((((((triple1) -> rule3)) -> rule8)) -> rule1)) -> rule4))] Anne is nice.[(((((((((triple1) -> rule3)) -> rule8)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule1)) -> rule4) ((triple1) -> rule3)) -> rule2))]