Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. If Charlie is blue and Charlie is kind then Charlie is round. All round things are rough. All rough, nice things are blue.
Charlie is kind.
@0: Charlie is blue.[(triple1 OR ((triple5 triple3) -> rule3) OR ((((triple6) -> rule2) triple3) -> rule3))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple6) -> rule2) OR ((((triple1 triple2) -> rule1)) -> rule2))] Charlie is round.[(triple6 OR ((triple1 triple2) -> rule1) OR ((((triple5 triple3) -> rule3) triple2) -> rule1))] Charlie is smart.[(triple7)]