Charlie is big. Charlie is cold. Charlie is green. Charlie is white. Erin is not big. Erin is cold. Erin is red. Erin is rough. Erin is white. Fiona is not big. Fiona is not green. Fiona is smart. Gary is big. Gary is green. Gary is rough. If something is rough then it is red. White, big things are red. Red, big things are smart. White, green things are smart. All smart things are white. If Fiona is green and Fiona is cold then Fiona is not red. Green, white things are rough. If something is smart and red then it is green.
Charlie is rough.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((((((triple4 triple1) -> rule2) triple1) -> rule3) ((triple4 triple1) -> rule2)) -> rule8))] Charlie is white.[(triple4)] Erin is cold.[(triple6)] Erin is not big.[(triple5)] Erin is red.[(triple7 OR ((triple8) -> rule1))] Erin is rough.[(triple8)] Erin is white.[(triple9)] Fiona is not big.[(triple10)] Fiona is not green.[(triple11)] Fiona is smart.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14 OR ((((((triple15) -> rule1) triple13) -> rule3) ((triple15) -> rule1)) -> rule8))] Gary is rough.[(triple15)] @1: Charlie is red.[(((triple4 triple1) -> rule2) OR ((((triple3 triple4) -> rule7)) -> rule1))] Charlie is rough.[(((triple3 triple4) -> rule7) OR ((((((((triple4 triple1) -> rule2) triple1) -> rule3) ((triple4 triple1) -> rule2)) -> rule8) triple4) -> rule7))] Charlie is smart.[(((triple4 triple3) -> rule4) OR ((((triple4 triple1) -> rule2) triple1) -> rule3) OR ((((((triple3 triple4) -> rule7)) -> rule1) triple1) -> rule3))] Fiona is white.[(((triple12) -> rule5))] Gary is red.[(((triple15) -> rule1))] @2: Gary is smart.[(((((triple15) -> rule1) triple13) -> rule3))] @3: Gary is white.[(((((((triple15) -> rule1) triple13) -> rule3)) -> rule5))]