Charlie is young. Erin is not smart. Fiona is red. Fiona is not young. Gary is nice. Gary is red. Gary is smart. If Gary is smart then Gary is red. All smart people are nice. All young people are nice. If someone is young then they are quiet. If someone is green then they are cold. All smart people are cold. All cold, quiet people are green. If someone is young and nice then they are smart. All smart, green people are red.
Charlie is red.
@0: Charlie is young.[(triple1)] Erin is not smart.[(triple2)] Fiona is not young.[(triple4)] Fiona is red.[(triple3)] Gary is nice.[(triple5 OR ((triple7) -> rule2))] Gary is red.[(triple6 OR ((triple7) -> rule1))] Gary is smart.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule3))] Charlie is quiet.[(((triple1) -> rule4))] Gary is cold.[(((triple7) -> rule6))] @2: Charlie is smart.[(((triple1 ((triple1) -> rule3)) -> rule8))] @3: Charlie is cold.[(((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule6))] @4: Charlie is green.[(((((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule6) ((triple1) -> rule4)) -> rule7))] @5: Charlie is red.[(((((triple1 ((triple1) -> rule3)) -> rule8) ((((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule6) ((triple1) -> rule4)) -> rule7)) -> rule9))]