Bob is big. Bob is green. Erin is cold. Erin is green. Erin is kind. Gary is not big. Gary is cold. Gary is green. Gary is kind. Harry is kind. If someone is blue and not green then they are big. If Bob is big and Bob is not kind then Bob is round. If someone is green then they are blue. All kind people are blue. All kind people are not round. White people are round. If someone is green and not kind then they are not white. If someone is round and not blue then they are white.
Harry is cold.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not big.[(triple6)] Harry is kind.[(triple10)] @1: Bob is blue.[(((triple2) -> rule3))] Erin is blue.[(((triple4) -> rule3) OR ((triple5) -> rule4))] Erin is not round.[(((triple5) -> rule5))] Gary is blue.[(((triple8) -> rule3) OR ((triple9) -> rule4))] Gary is not round.[(((triple9) -> rule5))] Harry is blue.[(((triple10) -> rule4))] Harry is not round.[(((triple10) -> rule5))]