Charlie is furry. Charlie is nice. Fiona is kind. Fiona is nice. Gary is kind. Gary is red. Harry is furry. Red, young people are big. Red, furry people are young. Kind people are red. All big, round people are kind. All red people are young. If Harry is round then Harry is nice.
Gary is not young.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Gary is kind.[(triple5)] Gary is red.[(triple6 OR ((triple5) -> rule3))] Harry is furry.[(triple7)] @1: Fiona is red.[(((triple3) -> rule3))] Gary is young.[(((triple6) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] @2: Fiona is young.[(((((triple3) -> rule3)) -> rule5))] Gary is big.[(((triple6 ((triple6) -> rule5)) -> rule1) OR ((((triple5) -> rule3) ((triple6) -> rule5)) -> rule1) OR ((triple6 ((((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule1))] @3: Fiona is big.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule1))]