Anne is nice. Charlie is big. Charlie is cold. Charlie is young. Fiona is blue. Fiona is nice. Fiona is round. Gary is round. Gary is smart. Gary is young. All big, round people are blue. Big people are blue. Blue, young people are not round. If someone is blue and smart then they are round. If someone is round then they are nice. Big, nice people are young.
Anne is blue.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6 OR ((triple7) -> rule5))] Fiona is round.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Charlie is blue.[(((triple2) -> rule2))] Gary is nice.[(((triple8) -> rule5))] @2: Charlie is not round.[(((((triple2) -> rule2) triple4) -> rule3))]