Charlie is smart. Charlie is white. Fiona is quiet. Fiona is smart. Fiona is white. Gary is cold. Gary is quiet. If something is quiet then it is nice. White things are red. If Fiona is smart then Fiona is quiet. If Charlie is cold then Charlie is red. Cold things are white. Quiet things are cold.
Gary is quiet.
@0: Charlie is smart.[(triple1)] Charlie is white.[(triple2)] Fiona is quiet.[(triple3 OR ((triple4) -> rule3))] Fiona is smart.[(triple4)] Fiona is white.[(triple5 OR ((((triple3) -> rule6)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6)) -> rule5))] Gary is cold.[(triple6 OR ((triple7) -> rule6))] Gary is quiet.[(triple7)] @1: Charlie is red.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] Fiona is nice.[(((triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Fiona is red.[(((triple5) -> rule2) OR ((((((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2))] Gary is nice.[(((triple7) -> rule1))] Gary is white.[(((triple6) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] @2: Gary is red.[(((((triple6) -> rule5)) -> rule2) OR ((((((triple7) -> rule6)) -> rule5)) -> rule2))]