Charlie is cold. Erin is cold. Erin is quiet. Erin is rough. Fiona is red. Fiona is white. Gary is rough. If someone is white and quiet then they are red. Green people are young. All rough people are white. Green, cold people are red. If someone is cold and young then they are white. If someone is quiet then they are cold. Quiet, red people are young. Quiet people are rough.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Erin is cold.[(triple2 OR ((triple3) -> rule6))] Erin is quiet.[(triple3)] Erin is rough.[(triple4 OR ((triple3) -> rule8))] Fiona is red.[(triple5)] Fiona is white.[(triple6)] Gary is rough.[(triple7)] @1: Erin is white.[(((triple4) -> rule3) OR ((((triple3) -> rule8)) -> rule3))] Gary is white.[(((triple7) -> rule3))] @2: Erin is red.[(((((triple4) -> rule3) triple3) -> rule1) OR ((((((triple3) -> rule8)) -> rule3) triple3) -> rule1))] @3: Erin is young.[(((triple3 ((((triple4) -> rule3) triple3) -> rule1)) -> rule7) OR ((triple3 ((((((triple3) -> rule8)) -> rule3) triple3) -> rule1)) -> rule7))]