Bob is cold. Bob is quiet. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is not round. Fiona is not cold. Fiona is not red. Gary is cold. All blue things are nice. If something is round and not white then it is not quiet. All quiet things are blue.
Gary is not nice.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Charlie is blue.[(triple3 OR ((triple6) -> rule3))] Charlie is cold.[(triple4)] Charlie is nice.[(triple5 OR ((triple3) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Charlie is not round.[(triple7)] Charlie is quiet.[(triple6)] Fiona is not cold.[(triple8)] Fiona is not red.[(triple9)] Gary is cold.[(triple10)] @1: Bob is blue.[(((triple2) -> rule3))] @2: Bob is nice.[(((((triple2) -> rule3)) -> rule1))]