Charlie is big. Charlie is blue. Charlie is not furry. Charlie is not quiet. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is quiet. Dave is red. Erin is big. Erin is not furry. Erin is quiet. Erin is red. Erin is smart. Erin is young. All quiet, red people are not furry. Quiet people are blue. If Charlie is red and Charlie is big then Charlie is not quiet. If someone is big then they are young. If someone is red then they are big. All quiet, furry people are big.
Erin is not quiet.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule5))] Charlie is blue.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not quiet.[(triple4 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple5) -> rule5)) -> rule3))] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Dave is blue.[(triple8 OR ((triple9) -> rule2))] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Erin is big.[(triple11 OR ((triple14) -> rule5))] Erin is not furry.[(triple12 OR ((triple13 triple14) -> rule1))] Erin is quiet.[(triple13)] Erin is red.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16 OR ((triple11) -> rule4) OR ((((triple14) -> rule5)) -> rule4))] @1: Dave is big.[(((triple10) -> rule5))] Dave is not furry.[(((triple9 triple10) -> rule1))] Erin is blue.[(((triple13) -> rule2))] @2: Dave is young.[(((((triple10) -> rule5)) -> rule4))]