Bob is blue. Dave is red. Gary is red. Harry is cold. All blue people are cold. If someone is round and not green then they are young. If someone is red then they are young. If someone is red and not round then they are young. If someone is cold and round then they are smart. Round, green people are blue.
Harry is round.
@0: Bob is blue.[(triple1)] Dave is red.[(triple2)] Gary is red.[(triple3)] Harry is cold.[(triple4)] @1: Bob is cold.[(((triple1) -> rule1))] Dave is young.[(((triple2) -> rule3))] Gary is young.[(((triple3) -> rule3))]