Charlie is blue. Charlie is young. Fiona is blue. Fiona is rough. Harry is blue. Harry is rough. Harry is round. Red, green people are blue. If someone is green then they are young. Nice, rough people are green. Rough, round people are young. If someone is red then they are rough. If someone is blue then they are nice. If someone is round then they are blue. If someone is blue and round then they are young.
Harry is not green.
@0: Charlie is blue.[(triple1)] Charlie is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is rough.[(triple4)] Harry is blue.[(triple5 OR ((triple7) -> rule7))] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule6))] Fiona is nice.[(((triple3) -> rule6))] Harry is nice.[(((triple5) -> rule6) OR ((((triple7) -> rule7)) -> rule6))] Harry is young.[(((triple5 triple7) -> rule8) OR ((triple6 triple7) -> rule4) OR ((((triple7) -> rule7) triple7) -> rule8) OR ((((((triple5) -> rule6) triple6) -> rule3)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule6) triple6) -> rule3)) -> rule2))] @2: Fiona is green.[(((((triple3) -> rule6) triple4) -> rule3))] Harry is green.[(((((triple5) -> rule6) triple6) -> rule3) OR ((((((triple7) -> rule7)) -> rule6) triple6) -> rule3))] @3: Fiona is young.[(((((((triple3) -> rule6) triple4) -> rule3)) -> rule2))]