Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. All quiet people are nice. If someone is round then they are quiet. Red, nice people are green.
Charlie is not quiet.
@0: Charlie is green.[(triple1 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple3) -> rule1)) -> rule3) OR ((triple4 ((((triple6) -> rule2)) -> rule1)) -> rule3))] Charlie is nice.[(triple2 OR ((triple3) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Charlie is quiet.[(triple3 OR ((triple6) -> rule2))] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]