Charlie is green. Charlie is not kind. Charlie is red. Charlie is smart. Fiona is furry. Fiona is kind. Fiona is rough. Harry is green. Harry is red. Harry is not round. If someone is green and kind then they are rough. If Fiona is kind then Fiona is rough. If someone is rough and smart then they are round. If someone is furry and not green then they are red. If someone is smart and not rough then they are not furry. If someone is round then they are furry. If someone is rough and not kind then they are smart. If someone is furry then they are smart.
Fiona is round.
@0: Charlie is green.[(triple1)] Charlie is not kind.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7 OR ((triple6) -> rule2))] Harry is green.[(triple8)] Harry is not round.[(triple10)] Harry is red.[(triple9)] @1: Fiona is smart.[(((triple5) -> rule8))] @2: Fiona is round.[(((triple7 ((triple5) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3))]