Charlie is green. Charlie is red. Erin is big. Erin is blue. Erin is rough. Erin is white. Fiona is not big. Fiona is not blue. Fiona is green. Fiona is red. Fiona is white. Harry is blue. Harry is green. Harry is red. Harry is rough. If something is blue then it is white. If Charlie is rough then Charlie is nice. If something is white then it is nice. If something is rough and not big then it is not nice. If something is white and not red then it is not blue. Rough things are blue. If Charlie is green then Charlie is white. All rough, white things are green.
Fiona is rough.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4 OR ((triple5) -> rule6))] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple4) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] Fiona is green.[(triple9)] Fiona is not big.[(triple7)] Fiona is not blue.[(triple8)] Fiona is red.[(triple10)] Fiona is white.[(triple11)] Harry is blue.[(triple12 OR ((triple15) -> rule6))] Harry is green.[(triple13 OR ((triple15 ((triple12) -> rule1)) -> rule8) OR ((triple15 ((((triple15) -> rule6)) -> rule1)) -> rule8))] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Charlie is white.[(((triple1) -> rule7))] Erin is green.[(((triple5 triple6) -> rule8) OR ((triple5 ((triple4) -> rule1)) -> rule8) OR ((triple5 ((((triple5) -> rule6)) -> rule1)) -> rule8))] Erin is nice.[(((triple6) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple5) -> rule6)) -> rule1)) -> rule3))] Fiona is nice.[(((triple11) -> rule3))] Harry is white.[(((triple12) -> rule1) OR ((((triple15) -> rule6)) -> rule1))] @2: Charlie is nice.[(((((triple1) -> rule7)) -> rule3))] Harry is nice.[(((((triple12) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule1)) -> rule3))]