Bob is smart. Bob is young. Charlie is cold. Charlie is not nice. Gary is cold. Gary is smart. Gary is young. Smart people are round. If someone is round then they are quiet. Smart, nice people are quiet. All cold people are smart. If someone is quiet and cold then they are smart. Young people are blue.
Gary is not young.
@0: Bob is smart.[(triple1)] Bob is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is not nice.[(triple4)] Gary is cold.[(triple5)] Gary is smart.[(triple6 OR ((triple5) -> rule4))] Gary is young.[(triple7)] @1: Bob is blue.[(((triple2) -> rule6))] Bob is round.[(((triple1) -> rule1))] Charlie is smart.[(((triple3) -> rule4))] Gary is blue.[(((triple7) -> rule6))] Gary is round.[(((triple6) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule2))] Charlie is round.[(((((triple3) -> rule4)) -> rule1))] Gary is quiet.[(((((triple6) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule1)) -> rule2))] @3: Charlie is quiet.[(((((((triple3) -> rule4)) -> rule1)) -> rule2))]