Charlie is furry. Charlie is green. Charlie is white. Dave is round. Dave is young. Fiona is red. Harry is furry. Harry is green. Harry is round. Harry is young. If someone is red then they are round. If someone is white then they are furry. If someone is green and round then they are blue. All round people are green. All furry, red people are round. Furry people are blue. If Dave is round and Dave is young then Dave is green. If Dave is round then Dave is green. If someone is blue then they are white.
Fiona is not furry.
@0: Charlie is furry.[(triple1 OR ((triple3) -> rule2))] Charlie is green.[(triple2)] Charlie is white.[(triple3 OR ((((triple1) -> rule6)) -> rule9))] Dave is round.[(triple4)] Dave is young.[(triple5)] Fiona is red.[(triple6)] Harry is furry.[(triple7 OR ((((((triple8 triple9) -> rule3)) -> rule9)) -> rule2) OR ((((((((triple9) -> rule4) triple9) -> rule3)) -> rule9)) -> rule2))] Harry is green.[(triple8 OR ((triple9) -> rule4))] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Dave is green.[(((triple4) -> rule4) OR ((triple4) -> rule8) OR ((triple4 triple5) -> rule7))] Fiona is round.[(((triple6) -> rule1))] Harry is blue.[(((triple7) -> rule6) OR ((triple8 triple9) -> rule3) OR ((((triple9) -> rule4) triple9) -> rule3))] @2: Dave is blue.[(((((triple4) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule8) triple4) -> rule3) OR ((((triple4 triple5) -> rule7) triple4) -> rule3))] Fiona is green.[(((((triple6) -> rule1)) -> rule4))] Harry is white.[(((((triple7) -> rule6)) -> rule9) OR ((((triple8 triple9) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) triple9) -> rule3)) -> rule9))] @3: Dave is white.[(((((((triple4) -> rule4) triple4) -> rule3)) -> rule9) OR ((((((triple4) -> rule8) triple4) -> rule3)) -> rule9) OR ((((((triple4 triple5) -> rule7) triple4) -> rule3)) -> rule9))] Fiona is blue.[(((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule3))] @4: Dave is furry.[(((((((((triple4) -> rule4) triple4) -> rule3)) -> rule9)) -> rule2) OR ((((((((triple4) -> rule8) triple4) -> rule3)) -> rule9)) -> rule2) OR ((((((((triple4 triple5) -> rule7) triple4) -> rule3)) -> rule9)) -> rule2))] Fiona is white.[(((((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule3)) -> rule9))] @5: Fiona is furry.[(((((((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule3)) -> rule9)) -> rule2))]