Bob is blue. Bob is cold. Bob is nice. Charlie is blue. Charlie is red. Charlie is rough. Erin is nice. Erin is red. Erin is rough. Erin is round. Round, red people are blue. If someone is cold and nice then they are red.
Erin is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Charlie is blue.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Erin is nice.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)] @1: Bob is red.[(((triple2 triple3) -> rule2))] Erin is blue.[(((triple10 triple8) -> rule1))]