Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. All quiet people are smart. All young, furry people are smart. If someone is kind and not white then they are nice. All furry, young people are quiet. Nice, smart people are furry. All smart, nice people are furry. All white people are young. If Charlie is nice and Charlie is smart then Charlie is kind.
Charlie is young.
@0: Charlie is furry.[(triple1 OR ((triple3 triple5) -> rule5) OR ((triple5 triple3) -> rule6) OR ((triple3 ((triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule1) triple3) -> rule6))] Charlie is kind.[(triple2 OR ((triple3 triple5) -> rule8) OR ((triple3 ((triple4) -> rule1)) -> rule8) OR ((triple3 ((triple7 triple1) -> rule2)) -> rule8) OR ((triple3 ((((triple1 triple7) -> rule4)) -> rule1)) -> rule8) OR ((triple3 ((((triple6) -> rule7) triple1) -> rule2)) -> rule8) OR ((triple3 ((((triple1 ((triple6) -> rule7)) -> rule4)) -> rule1)) -> rule8))] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple1 triple7) -> rule4) OR ((triple1 ((triple6) -> rule7)) -> rule4) OR ((((triple3 triple5) -> rule5) triple7) -> rule4) OR ((((triple5 triple3) -> rule6) triple7) -> rule4) OR ((((triple3 triple5) -> rule5) ((triple6) -> rule7)) -> rule4) OR ((((triple5 triple3) -> rule6) ((triple6) -> rule7)) -> rule4))] Charlie is smart.[(triple5 OR ((triple4) -> rule1) OR ((triple7 triple1) -> rule2) OR ((((triple1 triple7) -> rule4)) -> rule1) OR ((((triple6) -> rule7) triple1) -> rule2) OR ((((triple1 ((triple6) -> rule7)) -> rule4)) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule7))]