Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is not red. Charlie is smart. Charlie is white. Charlie is young. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Erin is young. If Charlie is furry then Charlie is not red. All quiet, furry people are young. Furry people are young. Red people are young. All smart people are white. If someone is white and red then they are furry.
Erin is furry.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is not red.[(triple4 OR ((triple1) -> rule1))] Charlie is quiet.[(triple3)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple5) -> rule5))] Charlie is young.[(triple7 OR ((triple1) -> rule3) OR ((triple3 triple1) -> rule2))] Erin is furry.[(triple8 OR ((triple13 triple11) -> rule6) OR ((((triple12) -> rule5) triple11) -> rule6))] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13 OR ((triple12) -> rule5))] Erin is young.[(triple14 OR ((triple11) -> rule4) OR ((triple8) -> rule3) OR ((triple10 triple8) -> rule2) OR ((((triple13 triple11) -> rule6)) -> rule3) OR ((triple10 ((triple13 triple11) -> rule6)) -> rule2) OR ((((((triple12) -> rule5) triple11) -> rule6)) -> rule3) OR ((triple10 ((((triple12) -> rule5) triple11) -> rule6)) -> rule2))]