Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Fiona is nice. Fiona is rough. Harry is furry. Harry is round. Round, green people are rough. All quiet people are round. Green people are quiet.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple3) -> rule3))] Charlie is rough.[(triple6 OR ((((triple5) -> rule2) triple3) -> rule1) OR ((((((triple3) -> rule3)) -> rule2) triple3) -> rule1))] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Harry is furry.[(triple9)] Harry is round.[(triple10)] @1: Charlie is round.[(((triple5) -> rule2) OR ((((triple3) -> rule3)) -> rule2))]