Bob is nice. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is not round. Fiona is cold. Fiona is rough. Harry is furry. If something is nice then it is not round.
Charlie is not nice.
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Charlie is not round.[(triple7 OR ((triple6) -> rule1))] Fiona is cold.[(triple8)] Fiona is rough.[(triple9)] Harry is furry.[(triple10)] @1: Bob is not round.[(((triple1) -> rule1))]