Bob is cold. Bob is red. Erin is big. Erin is green. Erin is kind. Erin is red. Gary is big. Gary is cold. Gary is kind. Gary is red. All green people are cold. Big, red people are kind.
Bob is big.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple3 triple6) -> rule2))] Erin is red.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9 OR ((triple7 triple10) -> rule2))] Gary is red.[(triple10)] @1: Erin is cold.[(((triple4) -> rule1))]