Charlie is furry. Erin is not rough. Fiona is furry. Gary is big. Rough people are furry. If someone is rough then they are not white. Smart, big people are rough. Furry people are big. Big people are smart. If someone is rough and white then they are green. If Fiona is green then Fiona is white. If someone is white and not furry then they are not nice.
Gary is smart.
@0: Charlie is furry.[(triple1)] Erin is not rough.[(triple2)] Fiona is furry.[(triple3)] Gary is big.[(triple4)] @1: Charlie is big.[(((triple1) -> rule4))] Fiona is big.[(((triple3) -> rule4))] Gary is smart.[(((triple4) -> rule5))] @2: Charlie is smart.[(((((triple1) -> rule4)) -> rule5))] Fiona is smart.[(((((triple3) -> rule4)) -> rule5))] Gary is rough.[(((((triple4) -> rule5) triple4) -> rule3))] @3: Charlie is rough.[(((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule3))] Fiona is rough.[(((((((triple3) -> rule4)) -> rule5) ((triple3) -> rule4)) -> rule3))] Gary is furry.[(((((((triple4) -> rule5) triple4) -> rule3)) -> rule1))] Gary is not white.[(((((((triple4) -> rule5) triple4) -> rule3)) -> rule2))] @4: Charlie is not white.[(((((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule3)) -> rule2))] Fiona is not white.[(((((((((triple3) -> rule4)) -> rule5) ((triple3) -> rule4)) -> rule3)) -> rule2))]