Charlie is not big. Charlie is not blue. Charlie is nice. Charlie is not quiet. Fiona is quiet. Fiona is red. Fiona is not young. Gary is big. Gary is nice. Gary is quiet. If something is big and blue then it is nice. Red things are nice. If something is white then it is nice. If something is white then it is not young. All white, quiet things are red. If Fiona is blue then Fiona is not white. If Gary is white and Gary is not blue then Gary is quiet. Nice things are white.
Charlie is quiet.
@0: Charlie is nice.[(triple3)] Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not quiet.[(triple4)] Fiona is not young.[(triple7 OR ((((((triple6) -> rule2)) -> rule8)) -> rule4))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] @1: Charlie is white.[(((triple3) -> rule8))] Fiona is nice.[(((triple6) -> rule2))] Gary is white.[(((triple9) -> rule8))] @2: Charlie is not young.[(((((triple3) -> rule8)) -> rule4))] Fiona is white.[(((((triple6) -> rule2)) -> rule8))] Gary is not young.[(((((triple9) -> rule8)) -> rule4))] Gary is red.[(((((triple9) -> rule8) triple10) -> rule5))]