Anne is rough. Charlie is big. Charlie is rough. Young, furry people are cold. Furry, kind people are big. If someone is furry then they are rough. All rough people are young. If someone is nice then they are furry. If someone is furry and kind then they are young. Rough people are nice. If someone is young then they are nice.
Anne is furry.
@0: Anne is rough.[(triple1)] Charlie is big.[(triple2)] Charlie is rough.[(triple3)] @1: Anne is nice.[(((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule8))] Anne is young.[(((triple1) -> rule4))] Charlie is nice.[(((triple3) -> rule7) OR ((((triple3) -> rule4)) -> rule8))] Charlie is young.[(((triple3) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule7)) -> rule5) OR ((((((triple1) -> rule4)) -> rule8)) -> rule5))] Charlie is furry.[(((((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule4)) -> rule8)) -> rule5))] @3: Anne is cold.[(((((triple1) -> rule4) ((((triple1) -> rule7)) -> rule5)) -> rule1) OR ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8)) -> rule5)) -> rule1))] Charlie is cold.[(((((triple3) -> rule4) ((((triple3) -> rule7)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule8)) -> rule5)) -> rule1))]