Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Charlie is young. If something is quiet and red then it is young. If Charlie is nice and Charlie is white then Charlie is young. All round, white things are quiet. If something is white and young then it is big. All quiet, nice things are white. White things are quiet.
Charlie is not white.
@0: Charlie is big.[(triple1 OR ((triple6 triple7) -> rule4) OR ((triple6 ((triple2 triple6) -> rule2)) -> rule4) OR ((triple6 ((triple3 triple4) -> rule1)) -> rule4) OR ((((triple3 triple2) -> rule5) triple7) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 triple6) -> rule2)) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple3 triple4) -> rule1)) -> rule4) OR ((triple6 ((triple2 ((triple3 triple2) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple6) -> rule6) triple4) -> rule1)) -> rule4) OR ((triple6 ((((triple5 triple6) -> rule3) triple4) -> rule1)) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple3 triple2) -> rule5)) -> rule2)) -> rule4) OR ((((triple3 triple2) -> rule5) ((((triple6) -> rule6) triple4) -> rule1)) -> rule4) OR ((((triple3 triple2) -> rule5) ((((triple5 triple6) -> rule3) triple4) -> rule1)) -> rule4))] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple6) -> rule6) OR ((triple5 triple6) -> rule3))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple3 triple2) -> rule5))] Charlie is young.[(triple7 OR ((triple2 triple6) -> rule2) OR ((triple3 triple4) -> rule1) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule2) OR ((((triple6) -> rule6) triple4) -> rule1) OR ((((triple5 triple6) -> rule3) triple4) -> rule1))]