Erin is nice. Erin is red. Erin is round. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is smart. Gary is cold. Gary is nice. If something is red and round then it is cold. If something is green then it is big. If Gary is smart then Gary is round. If something is cold and round then it is green. If something is big then it is green. All red, nice things are cold. If something is nice and smart then it is big. Big, green things are round.
Gary is not red.
@0: Erin is nice.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3)] Fiona is big.[(triple4 OR ((triple6) -> rule2) OR ((triple7 triple8) -> rule7))] Fiona is cold.[(triple5)] Fiona is green.[(triple6 OR ((triple4) -> rule5) OR ((((triple7 triple8) -> rule7)) -> rule5))] Fiona is nice.[(triple7)] Fiona is smart.[(triple8)] Gary is cold.[(triple9)] Gary is nice.[(triple10)] @1: Erin is cold.[(((triple2 triple1) -> rule6) OR ((triple2 triple3) -> rule1))] Fiona is round.[(((triple4 triple6) -> rule8) OR ((triple4 ((triple4) -> rule5)) -> rule8) OR ((((triple6) -> rule2) triple6) -> rule8) OR ((((triple7 triple8) -> rule7) triple6) -> rule8) OR ((((triple6) -> rule2) ((triple4) -> rule5)) -> rule8) OR ((((triple7 triple8) -> rule7) ((triple4) -> rule5)) -> rule8) OR ((triple4 ((((triple7 triple8) -> rule7)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((triple7 triple8) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 triple8) -> rule7) ((((triple7 triple8) -> rule7)) -> rule5)) -> rule8))] @2: Erin is green.[(((((triple2 triple1) -> rule6) triple3) -> rule4) OR ((((triple2 triple3) -> rule1) triple3) -> rule4))] @3: Erin is big.[(((((((triple2 triple1) -> rule6) triple3) -> rule4)) -> rule2) OR ((((((triple2 triple3) -> rule1) triple3) -> rule4)) -> rule2))]