Charlie is blue. Charlie is cold. Charlie is not kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Gary is not blue. Gary is cold. Gary is kind. Gary is quiet. Gary is not rough. Gary is not round. Gary is not white. If something is white and rough then it is not kind. White things are rough. All round, quiet things are white. Rough, kind things are white. If something is round and kind then it is white. All kind things are not blue.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not kind.[(triple3 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple7) -> rule2)) -> rule1) OR ((((triple6 triple4) -> rule3) triple5) -> rule1) OR ((((triple6 triple4) -> rule3) ((triple7) -> rule2)) -> rule1) OR ((triple7 ((((triple6 triple4) -> rule3)) -> rule2)) -> rule1) OR ((((triple6 triple4) -> rule3) ((((triple6 triple4) -> rule3)) -> rule2)) -> rule1))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple7) -> rule2) OR ((((triple6 triple4) -> rule3)) -> rule2))] Charlie is round.[(triple6)] Charlie is white.[(triple7 OR ((triple6 triple4) -> rule3))] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is not blue.[(triple8 OR ((triple10) -> rule6))] Gary is not rough.[(triple12)] Gary is not round.[(triple13)] Gary is not white.[(triple14)] Gary is quiet.[(triple11)]