Anne is furry. Charlie is furry. Charlie is kind. Charlie is round. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Harry is furry. Harry is kind. Harry is smart. If Fiona is furry then Fiona is round. All white people are round. All white, smart people are furry. All green people are smart. If Fiona is round and Fiona is kind then Fiona is quiet. If someone is round then they are green.
Fiona is not green.
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Fiona is furry.[(triple5 OR ((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule3) OR ((triple9 ((((((triple9) -> rule2)) -> rule6)) -> rule4)) -> rule3))] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple8 triple6) -> rule5) OR ((((triple5) -> rule1) triple6) -> rule5) OR ((((triple9) -> rule2) triple6) -> rule5))] Fiona is round.[(triple8 OR ((triple5) -> rule1) OR ((triple9) -> rule2))] Fiona is white.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Charlie is green.[(((triple4) -> rule6))] Fiona is green.[(((triple8) -> rule6) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple9) -> rule2)) -> rule6))] @2: Charlie is smart.[(((((triple4) -> rule6)) -> rule4))] Fiona is smart.[(((((triple8) -> rule6)) -> rule4) OR ((((((triple5) -> rule1)) -> rule6)) -> rule4) OR ((((((triple9) -> rule2)) -> rule6)) -> rule4))]