Bob is big. Bob is blue. Bob is cold. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Charlie is round. Charlie is white. Charlie is young. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is white. Gary is young. If someone is big and nice then they are white. Round people are big.
Gary is young.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9 OR ((((triple8) -> rule2) triple7) -> rule1))] Charlie is young.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is nice.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((((triple14) -> rule2) triple13) -> rule1))] Gary is young.[(triple16)] @1: Charlie is big.[(((triple8) -> rule2))] Gary is big.[(((triple14) -> rule2))]