Charlie is big. Charlie is kind. Charlie is nice. Charlie is round. Charlie is young. Gary is cold. Gary is kind. If someone is big and round then they are green. All round people are cold. If someone is green then they are young. If someone is nice then they are young. If someone is round then they are young. If someone is green and round then they are big. If someone is young and kind then they are nice. All green people are nice.
Gary is not nice.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple5 triple2) -> rule7) OR ((((triple1 triple4) -> rule1)) -> rule8) OR ((((triple4) -> rule5) triple2) -> rule7) OR ((((((triple1 triple4) -> rule1)) -> rule3) triple2) -> rule7))] Charlie is round.[(triple4)] Charlie is young.[(triple5 OR ((triple3) -> rule4) OR ((triple4) -> rule5) OR ((((triple1 triple4) -> rule1)) -> rule3) OR ((((((triple1 triple4) -> rule1)) -> rule8)) -> rule4))] Gary is cold.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is cold.[(((triple4) -> rule2))] Charlie is green.[(((triple1 triple4) -> rule1))]