Charlie is green. Charlie is round. Fiona is green. Fiona is kind. Fiona is round. Gary is green. Gary is white. Harry is big. Harry is furry. Harry is kind. Harry is red. Harry is round. All white things are furry. All furry things are big. Red, green things are furry. Green things are white. All kind things are round. All kind things are red.
Gary is not red.
@0: Charlie is green.[(triple1)] Charlie is round.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is round.[(triple5 OR ((triple4) -> rule5))] Gary is green.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule4))] Harry is big.[(triple8 OR ((triple9) -> rule2))] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is red.[(triple11 OR ((triple10) -> rule6))] Harry is round.[(triple12 OR ((triple10) -> rule5))] @1: Charlie is white.[(((triple1) -> rule4))] Fiona is red.[(((triple4) -> rule6))] Fiona is white.[(((triple3) -> rule4))] Gary is furry.[(((triple7) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] @2: Charlie is furry.[(((((triple1) -> rule4)) -> rule1))] Fiona is furry.[(((((triple3) -> rule4)) -> rule1) OR ((((triple4) -> rule6) triple3) -> rule3))] Gary is big.[(((((triple7) -> rule1)) -> rule2) OR ((((((triple6) -> rule4)) -> rule1)) -> rule2))] @3: Charlie is big.[(((((((triple1) -> rule4)) -> rule1)) -> rule2))] Fiona is big.[(((((((triple3) -> rule4)) -> rule1)) -> rule2) OR ((((((triple4) -> rule6) triple3) -> rule3)) -> rule2))]