Charlie is quiet. Charlie is red. Charlie is smart. Erin is quiet. Erin is young. Fiona is blue. Fiona is cold. Fiona is young. Gary is blue. Gary is red. Gary is smart. Gary is young. If Erin is young and Erin is red then Erin is not nice. If Erin is quiet then Erin is not nice. All quiet things are smart. If something is quiet then it is smart. If Fiona is quiet then Fiona is not cold. Red, nice things are blue. If Erin is smart and Erin is not red then Erin is not cold. If something is nice and not blue then it is not cold.
Charlie is not smart.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3 OR ((triple1) -> rule3) OR ((triple1) -> rule4))] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Erin is not nice.[(((triple4) -> rule2))] Erin is smart.[(((triple4) -> rule3) OR ((triple4) -> rule4))]