Charlie is not big. Charlie is blue. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Erin is big. Fiona is not blue. Fiona is red. Gary is red. If Fiona is green then Fiona is not big. All big things are rough. If Gary is kind and Gary is red then Gary is rough. If something is green then it is big. All blue things are smart. If Fiona is not big then Fiona is smart. If something is smart and not rough then it is not blue. Rough things are blue.
Gary is not green.
@0: Charlie is blue.[(triple2 OR ((triple5) -> rule8))] Charlie is kind.[(triple3)] Charlie is not big.[(triple1)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple2) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Erin is big.[(triple7)] Fiona is not blue.[(triple8)] Fiona is red.[(triple9)] Gary is red.[(triple10)] @1: Erin is rough.[(((triple7) -> rule2))] @2: Erin is blue.[(((((triple7) -> rule2)) -> rule8))] @3: Erin is smart.[(((((((triple7) -> rule2)) -> rule8)) -> rule5))]