Charlie is kind. Fiona is kind. Fiona is round. If Charlie is green then Charlie is not kind. If someone is green and not round then they are not big. If someone is red and not green then they are big. All green people are furry. All round, kind people are furry. Round, white people are kind. If Fiona is big then Fiona is white. If Fiona is round then Fiona is furry.
Charlie is not big.
@0: Charlie is kind.[(triple1)] Fiona is kind.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule8) OR ((triple3 triple2) -> rule5))]