Bob is kind. Bob is nice. Bob is round. Bob is smart. Erin is quiet. Gary is blue. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Round people are quiet. If someone is nice then they are white.
Bob is not round.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Erin is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple9) -> rule1))] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Bob is quiet.[(((triple3) -> rule1))] Bob is white.[(((triple2) -> rule2))]