Charlie is quiet. Charlie is rough. Dave is blue. Dave is green. Dave is quiet. Dave is white. Fiona is blue. Fiona is quiet. Fiona is rough. Fiona is white. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is white. If someone is green and rough then they are quiet. If someone is white then they are kind. If Charlie is blue then Charlie is white. If someone is rough then they are white. Big, green people are rough. If someone is blue and quiet then they are green.
Fiona is rough.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Dave is blue.[(triple3)] Dave is green.[(triple4 OR ((triple3 triple5) -> rule6))] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10 OR ((triple9) -> rule4))] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13 OR ((triple12 triple14) -> rule6))] Harry is quiet.[(triple14 OR ((triple13 triple15) -> rule1) OR ((triple13 ((triple11 triple13) -> rule5)) -> rule1))] Harry is rough.[(triple15 OR ((triple11 triple13) -> rule5) OR ((triple11 ((triple12 triple14) -> rule6)) -> rule5))] Harry is white.[(triple16 OR ((triple15) -> rule4) OR ((((triple11 triple13) -> rule5)) -> rule4) OR ((((triple11 ((triple12 triple14) -> rule6)) -> rule5)) -> rule4))] @1: Charlie is white.[(((triple2) -> rule4))] Dave is kind.[(((triple6) -> rule2))] Fiona is green.[(((triple7 triple8) -> rule6))] Fiona is kind.[(((triple10) -> rule2) OR ((((triple9) -> rule4)) -> rule2))] Harry is kind.[(((triple16) -> rule2) OR ((((triple15) -> rule4)) -> rule2) OR ((((((triple11 triple13) -> rule5)) -> rule4)) -> rule2) OR ((((((triple11 ((triple12 triple14) -> rule6)) -> rule5)) -> rule4)) -> rule2))] @2: Charlie is kind.[(((((triple2) -> rule4)) -> rule2))]