Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is young. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Young, quiet things are cold. Smart, red things are blue. Red, nice things are blue.
Charlie is young.
@0: Bob is blue.[(triple1 OR ((triple5 triple3) -> rule3) OR ((triple6 triple5) -> rule2))] Bob is cold.[(triple2 OR ((triple7 triple4) -> rule1))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Charlie is blue.[(triple8 OR ((triple11 triple9) -> rule3) OR ((triple12 triple11) -> rule2))] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10)] Charlie is red.[(triple11)] Charlie is smart.[(triple12)]