Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. White, quiet people are big. If Charlie is smart and Charlie is furry then Charlie is white. Quiet, furry people are green. Smart, quiet people are big. Smart, green people are white. If someone is big and quiet then they are furry.
Charlie is not furry.
@0: Charlie is big.[(triple1 OR ((triple6 triple5) -> rule4) OR ((triple7 triple5) -> rule1) OR ((((triple6 triple3) -> rule2) triple5) -> rule1) OR ((((triple6 triple4) -> rule5) triple5) -> rule1) OR ((((triple6 ((triple5 triple3) -> rule3)) -> rule5) triple5) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple1 triple5) -> rule6) OR ((((triple6 triple5) -> rule4) triple5) -> rule6) OR ((((triple7 triple5) -> rule1) triple5) -> rule6) OR ((((((triple6 triple4) -> rule5) triple5) -> rule1) triple5) -> rule6))] Charlie is green.[(triple4 OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple1 triple5) -> rule6)) -> rule3) OR ((triple5 ((((triple6 triple5) -> rule4) triple5) -> rule6)) -> rule3) OR ((triple5 ((((triple7 triple5) -> rule1) triple5) -> rule6)) -> rule3))] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple6 triple3) -> rule2) OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple1 triple5) -> rule6)) -> rule2) OR ((triple6 ((triple5 triple3) -> rule3)) -> rule5) OR ((triple6 ((triple5 ((triple1 triple5) -> rule6)) -> rule3)) -> rule5) OR ((triple6 ((((triple6 triple5) -> rule4) triple5) -> rule6)) -> rule2) OR ((triple6 ((triple5 ((((triple6 triple5) -> rule4) triple5) -> rule6)) -> rule3)) -> rule5))]