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