Charlie is white. Fiona is green. Fiona is nice. Fiona is young. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. If Charlie is white then Charlie is smart. If Charlie is nice and Charlie is young then Charlie is white. All young, smart things are white. If Gary is kind and Gary is red then Gary is white. If Charlie is white then Charlie is young. If something is nice then it is green. Nice things are red. If Charlie is green and Charlie is white then Charlie is nice.
Gary is green.
@0: Charlie is white.[(triple1)] Fiona is green.[(triple2 OR ((triple3) -> rule6))] Fiona is nice.[(triple3)] Fiona is young.[(triple4)] Gary is green.[(triple5 OR ((triple7) -> rule6))] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8 OR ((triple7) -> rule7))] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Charlie is smart.[(((triple1) -> rule1))] Charlie is young.[(((triple1) -> rule5))] Fiona is red.[(((triple3) -> rule7))] Gary is white.[(((triple10 triple9) -> rule3) OR ((triple6 triple8) -> rule4) OR ((triple6 ((triple7) -> rule7)) -> rule4))]