Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is round. Bob is white. Bob is young. Gary is blue. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. If someone is quiet and round then they are red. If someone is round and quiet then they are blue. Blue people are young.
Bob is not quiet.
@0: Bob is blue.[(triple1 OR ((triple5 triple3) -> rule2))] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple3 triple5) -> rule1))] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple1) -> rule3) OR ((((triple5 triple3) -> rule2)) -> rule3))] Gary is blue.[(triple8 OR ((triple12 triple10) -> rule2))] Gary is cold.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple10 triple12) -> rule1))] Gary is round.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple8) -> rule3) OR ((((triple12 triple10) -> rule2)) -> rule3))]