Charlie is blue. Charlie is cold. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is not rough. Charlie is round. If something is quiet then it is cold. Blue, nice things are quiet. If Charlie is green then Charlie is not round.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple5) -> rule1) OR ((((triple1 triple4) -> rule2)) -> rule1))] Charlie is nice.[(triple4)] Charlie is not green.[(triple3)] Charlie is not rough.[(triple6)] Charlie is quiet.[(triple5 OR ((triple1 triple4) -> rule2))] Charlie is round.[(triple7)]