Charlie is not nice. Charlie is round. Erin is furry. Erin is not round. Fiona is not green. Fiona is rough. Gary is nice. All big, red things are not round. If something is nice and round then it is not red. All nice things are red. Nice things are green. All rough things are furry. Nice, green things are rough. If something is furry then it is big. All red things are nice.
Erin is green.
@0: Charlie is not nice.[(triple1)] Charlie is round.[(triple2)] Erin is furry.[(triple3)] Erin is not round.[(triple4)] Fiona is not green.[(triple5)] Fiona is rough.[(triple6)] Gary is nice.[(triple7)] @1: Erin is big.[(((triple3) -> rule7))] Fiona is furry.[(((triple6) -> rule5))] Gary is green.[(((triple7) -> rule4))] Gary is red.[(((triple7) -> rule3))] @2: Fiona is big.[(((((triple6) -> rule5)) -> rule7))] Gary is rough.[(((triple7 ((triple7) -> rule4)) -> rule6))] @3: Gary is furry.[(((((triple7 ((triple7) -> rule4)) -> rule6)) -> rule5))] @4: Gary is big.[(((((((triple7 ((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7))] @5: Gary is not round.[(((((((((triple7 ((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7) ((triple7) -> rule3)) -> rule1))]