Erin is not big. Erin is blue. Erin is not kind. Erin is not red. Erin is round. Erin is not smart. Fiona is red. Gary is not big. Gary is blue. Gary is nice. Gary is red. Gary is round. Red, blue people are kind. Smart people are round.
Erin is red.
@0: Erin is blue.[(triple2)] Erin is not big.[(triple1)] Erin is not kind.[(triple3)] Erin is not red.[(triple4)] Erin is not smart.[(triple6)] Erin is round.[(triple5)] Fiona is red.[(triple7)] Gary is blue.[(triple9)] Gary is nice.[(triple10)] Gary is not big.[(triple8)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Gary is kind.[(((triple11 triple9) -> rule1))]