Charlie is big. Charlie is blue. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. If someone is green and not quiet then they are not smart. All quiet people are smart. If someone is nice then they are blue. If someone is blue and quiet then they are white. If Charlie is smart and Charlie is quiet then Charlie is blue. If someone is nice and green then they are big. If Charlie is quiet then Charlie is smart. If Charlie is not blue then Charlie is not white.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple4) -> rule3) OR ((triple6 triple5) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule5) OR ((((triple5) -> rule7) triple5) -> rule5))] Charlie is nice.[(triple4)] Charlie is not green.[(triple3)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6 OR ((triple5) -> rule2) OR ((triple5) -> rule7))] Charlie is white.[(triple7 OR ((triple2 triple5) -> rule4) OR ((((triple4) -> rule3) triple5) -> rule4) OR ((((triple6 triple5) -> rule5) triple5) -> rule4) OR ((((((triple5) -> rule2) triple5) -> rule5) triple5) -> rule4) OR ((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule4))]