Charlie is furry. Charlie is kind. Erin is nice. Erin is round. Fiona is furry. Gary is cold. Gary is round. If Erin is nice and Erin is cold then Erin is furry. If Gary is rough then Gary is kind. If someone is round and cold then they are big. If someone is nice then they are big. If Fiona is big and Fiona is round then Fiona is rough. All big, cold people are rough. If Charlie is big and Charlie is rough then Charlie is furry. If someone is big then they are nice.
Erin is not round.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Erin is nice.[(triple3)] Erin is round.[(triple4)] Fiona is furry.[(triple5)] Gary is cold.[(triple6)] Gary is round.[(triple7)] @1: Erin is big.[(((triple3) -> rule4))] Gary is big.[(((triple7 triple6) -> rule3))] @2: Gary is nice.[(((((triple7 triple6) -> rule3)) -> rule8))] Gary is rough.[(((((triple7 triple6) -> rule3) triple6) -> rule6))] @3: Gary is kind.[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule2))]