Charlie is not big. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is not quiet. Charlie is white. Dave is green. Dave is not quiet. Dave is white. Fiona is furry. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is white. If something is big then it is green. Furry things are big. If Fiona is green then Fiona is white. All kind, white things are young. White things are kind.
Dave is young.
@0: Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple6) -> rule5))] Charlie is not big.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not quiet.[(triple5)] Charlie is white.[(triple6)] Dave is green.[(triple7)] Dave is not quiet.[(triple8)] Dave is white.[(triple9)] Fiona is furry.[(triple10)] Gary is big.[(triple11 OR ((triple12) -> rule2))] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] Gary is kind.[(triple14 OR ((triple16) -> rule5))] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Charlie is young.[(((triple4 triple6) -> rule4) OR ((((triple6) -> rule5) triple6) -> rule4))] Dave is kind.[(((triple9) -> rule5))] Fiona is big.[(((triple10) -> rule2))] Gary is young.[(((triple14 triple16) -> rule4) OR ((((triple16) -> rule5) triple16) -> rule4))] @2: Dave is young.[(((((triple9) -> rule5) triple9) -> rule4))] Fiona is green.[(((((triple10) -> rule2)) -> rule1))] @3: Fiona is white.[(((((((triple10) -> rule2)) -> rule1)) -> rule3))] @4: Fiona is kind.[(((((((((triple10) -> rule2)) -> rule1)) -> rule3)) -> rule5))] @5: Fiona is young.[(((((((((((triple10) -> rule2)) -> rule1)) -> rule3)) -> rule5) ((((((triple10) -> rule2)) -> rule1)) -> rule3)) -> rule4))]