Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. All big, furry people are smart. All quiet people are kind. All kind people are smart. Green, young people are big. Quiet people are smart. All smart, green people are big.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple3 triple7) -> rule4) OR ((triple6 triple3) -> rule6) OR ((((triple4) -> rule3) triple3) -> rule6) OR ((((triple5) -> rule5) triple3) -> rule6) OR ((((((triple5) -> rule2)) -> rule3) triple3) -> rule6))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple5) -> rule2))] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule3) OR ((triple5) -> rule5) OR ((triple1 triple2) -> rule1) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple3 triple7) -> rule4) triple2) -> rule1))] Charlie is young.[(triple7)]