Anne is white. Anne is young. Dave is nice. Dave is red. Dave is round. Fiona is red. Gary is nice. All green people are white. If someone is green and red then they are round. If someone is red and nice then they are furry. Nice people are round. If someone is round then they are red. Round, nice people are red.
Gary is not red.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4 OR ((triple5) -> rule5) OR ((triple5 triple3) -> rule6) OR ((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule6))] Dave is round.[(triple5 OR ((triple3) -> rule4))] Fiona is red.[(triple6)] Gary is nice.[(triple7)] @1: Dave is furry.[(((triple4 triple3) -> rule3) OR ((((triple5) -> rule5) triple3) -> rule3) OR ((((triple5 triple3) -> rule6) triple3) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) triple3) -> rule3) OR ((((((triple3) -> rule4) triple3) -> rule6) triple3) -> rule3))] Gary is round.[(((triple7) -> rule4))] @2: Gary is red.[(((((triple7) -> rule4)) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule6))] @3: Gary is furry.[(((((((triple7) -> rule4)) -> rule5) triple7) -> rule3) OR ((((((triple7) -> rule4) triple7) -> rule6) triple7) -> rule3))]