Erin is round. Fiona is not furry. Gary is not round. Harry is not big. Green people are big. All big people are kind. Round people are green.
Erin is round.
@0: Erin is round.[(triple1)] Fiona is not furry.[(triple2)] Gary is not round.[(triple3)] Harry is not big.[(triple4)] @1: Erin is green.[(((triple1) -> rule3))] @2: Erin is big.[(((((triple1) -> rule3)) -> rule1))] @3: Erin is kind.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]