Charlie is furry. Erin is quiet. Erin is smart. Fiona is kind. Fiona is not quiet. Fiona is rough. Gary is not cold. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is rough. All cold, kind things are not furry. Smart things are cold. If something is cold then it is rough. If something is rough and cold then it is kind. If Fiona is kind then Fiona is rough. All furry, smart things are green. If something is cold and not furry then it is green.
Charlie is rough.
@0: Charlie is furry.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Fiona is kind.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is rough.[(triple6 OR ((triple4) -> rule5))] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is not cold.[(triple7)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] @1: Erin is cold.[(((triple3) -> rule2))] @2: Erin is rough.[(((((triple3) -> rule2)) -> rule3))] @3: Erin is kind.[(((((((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule4))] @4: Erin is not furry.[(((((triple3) -> rule2) ((((((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule4)) -> rule1))] @5: Erin is green.[(((((triple3) -> rule2) ((((triple3) -> rule2) ((((((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule4)) -> rule1)) -> rule7))]