Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. Erin is white. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. Young, nice things are rough. If Harry is white then Harry is nice. All quiet things are rough. If something is young and quiet then it is rough. If something is young then it is quiet. If something is white then it is quiet.
Charlie is nice.
@0: Charlie is nice.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Erin is white.[(triple5)] Harry is rough.[(triple6 OR ((((triple10) -> rule5)) -> rule3) OR ((((triple9) -> rule6)) -> rule3) OR ((triple10 ((triple10) -> rule5)) -> rule4) OR ((triple10 ((triple9) -> rule2)) -> rule1) OR ((triple10 ((triple9) -> rule6)) -> rule4))] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Charlie is quiet.[(((triple4) -> rule5))] Charlie is rough.[(((triple4 triple1) -> rule1) OR ((((triple4) -> rule5)) -> rule3) OR ((triple4 ((triple4) -> rule5)) -> rule4))] Erin is quiet.[(((triple5) -> rule6))] Harry is nice.[(((triple9) -> rule2))] Harry is quiet.[(((triple10) -> rule5) OR ((triple9) -> rule6))] @2: Erin is rough.[(((((triple5) -> rule6)) -> rule3))]