Anne is green. Anne is quiet. Anne is young. Charlie is furry. Charlie is kind. Fiona is kind. Fiona is nice. Fiona is round. Gary is furry. Gary is green. Gary is kind. Gary is young. If Fiona is furry then Fiona is quiet. If something is round then it is furry. All nice, quiet things are round. If Gary is kind and Gary is quiet then Gary is young. If something is quiet then it is green. If Charlie is round and Charlie is green then Charlie is young.
Anne is not furry.
@0: Anne is green.[(triple1 OR ((triple2) -> rule5))] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is round.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is young.[(triple12)] @1: Fiona is furry.[(((triple8) -> rule2))] @2: Fiona is quiet.[(((((triple8) -> rule2)) -> rule1))] @3: Fiona is green.[(((((((triple8) -> rule2)) -> rule1)) -> rule5))]