Anne is big. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is round. Charlie is young. Dave is kind. Dave is young. Erin is big. Erin is blue. Erin is not kind. Erin is round. Erin is white. Erin is not young. If something is round and young then it is big. Big, kind things are young. If Erin is young then Erin is not big. Furry, big things are kind. All big things are white. If something is kind and not big then it is white.
Charlie is not big.
@0: Anne is big.[(triple1)] Charlie is big.[(triple2 OR ((triple6 triple7) -> rule1))] Charlie is furry.[(triple4)] Charlie is kind.[(triple5 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple6 triple7) -> rule1)) -> rule4))] Charlie is not blue.[(triple3)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple4 triple2) -> rule4)) -> rule2))] Dave is kind.[(triple8)] Dave is young.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is not kind.[(triple12)] Erin is not young.[(triple15)] Erin is round.[(triple13)] Erin is white.[(triple14 OR ((triple10) -> rule5))] @1: Anne is white.[(((triple1) -> rule5))] Charlie is white.[(((triple2) -> rule5) OR ((((triple6 triple7) -> rule1)) -> rule5))]