Charlie is not blue. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is smart. If something is blue then it is nice. All nice things are big.
Charlie is not nice.
@0: Charlie is not blue.[(triple1)] Gary is big.[(triple2 OR ((triple6) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Gary is blue.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6 OR ((triple3) -> rule1))] Gary is smart.[(triple7)]