Erin is blue. Erin is cold. Erin is green. Erin is kind. Fiona is big. Fiona is green. Fiona is kind. Gary is blue. Gary is cold. Gary is kind. Gary is red. Gary is smart. Kind, smart people are green. Cold, kind people are blue. Green people are red. If someone is red and kind then they are big. If someone is kind and green then they are red. If someone is smart then they are big.
Gary is not blue.
@0: Erin is blue.[(triple1 OR ((triple2 triple4) -> rule2))] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Fiona is big.[(triple5 OR ((((triple6) -> rule3) triple7) -> rule4) OR ((((triple7 triple6) -> rule5) triple7) -> rule4))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Gary is blue.[(triple8 OR ((triple9 triple10) -> rule2))] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((((triple10 triple12) -> rule1)) -> rule3) OR ((triple10 ((triple10 triple12) -> rule1)) -> rule5))] Gary is smart.[(triple12)] @1: Erin is red.[(((triple3) -> rule3) OR ((triple4 triple3) -> rule5))] Fiona is red.[(((triple6) -> rule3) OR ((triple7 triple6) -> rule5))] Gary is big.[(((triple12) -> rule6) OR ((triple11 triple10) -> rule4) OR ((((((triple10 triple12) -> rule1)) -> rule3) triple10) -> rule4) OR ((((triple10 ((triple10 triple12) -> rule1)) -> rule5) triple10) -> rule4))] Gary is green.[(((triple10 triple12) -> rule1))] @2: Erin is big.[(((((triple3) -> rule3) triple4) -> rule4) OR ((((triple4 triple3) -> rule5) triple4) -> rule4))]