Charlie is blue. Charlie is green. Charlie is white. Fiona is green. Fiona is red. Fiona is rough. Fiona is young. Harry is blue. Harry is green. Harry is rough. If something is red then it is blue. Blue, red things are white. If Fiona is rough then Fiona is white. Rough, blue things are red. If something is blue then it is white. If something is rough then it is kind. Kind things are rough. All white things are young.
Charlie is not green.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is white.[(triple3 OR ((triple1) -> rule5))] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7 OR ((((triple6) -> rule3)) -> rule8) OR ((((((triple5) -> rule1)) -> rule5)) -> rule8) OR ((((((triple5) -> rule1) triple5) -> rule2)) -> rule8))] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] @1: Charlie is young.[(((triple3) -> rule8) OR ((((triple1) -> rule5)) -> rule8))] Fiona is blue.[(((triple5) -> rule1))] Fiona is kind.[(((triple6) -> rule6))] Fiona is white.[(((triple6) -> rule3) OR ((((triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule1) triple5) -> rule2))] Harry is kind.[(((triple10) -> rule6))] Harry is red.[(((triple10 triple8) -> rule4))] Harry is white.[(((triple8) -> rule5) OR ((triple8 ((triple10 triple8) -> rule4)) -> rule2))] @2: Harry is young.[(((((triple8) -> rule5)) -> rule8) OR ((((triple8 ((triple10 triple8) -> rule4)) -> rule2)) -> rule8))]