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