Anne is big. Charlie is big. Charlie is nice. Charlie is round. Charlie is young. Dave is round. Erin is nice. If Dave is young then Dave is furry. Young, kind people are not rough. If someone is furry and round then they are big. All furry people are big. If someone is big then they are kind. If someone is round then they are kind. All rough, furry people are nice. If Anne is furry then Anne is not rough.
Erin is young.
@0: Anne is big.[(triple1)] Charlie is big.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Dave is round.[(triple6)] Erin is nice.[(triple7)] @1: Anne is kind.[(((triple1) -> rule5))] Charlie is kind.[(((triple2) -> rule5) OR ((triple4) -> rule6))] Dave is kind.[(((triple6) -> rule6))] @2: Charlie is not rough.[(((triple5 ((triple2) -> rule5)) -> rule2) OR ((triple5 ((triple4) -> rule6)) -> rule2))]