Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is rough. Gary is cold. Gary is green. Gary is quiet. Gary is red. Gary is rough. All big things are cold. All rough, cold things are quiet.
Charlie is red.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule1))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2))] Charlie is rough.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is quiet.[(triple8 OR ((triple10 triple6) -> rule2))] Gary is red.[(triple9)] Gary is rough.[(triple10)]