Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. If someone is white and cold then they are big. All red, quiet people are white. Round, smart people are quiet.
Gary is red.
@0: Charlie is big.[(triple1 OR ((triple6 triple2) -> rule1) OR ((((triple4 triple3) -> rule2) triple2) -> rule1))] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple4 triple3) -> rule2))] Gary is cold.[(triple7)] Gary is quiet.[(triple8 OR ((triple10 triple11) -> rule3))] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12 OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple10 triple11) -> rule3)) -> rule2))] @1: Gary is big.[(((triple12 triple7) -> rule1) OR ((((triple9 triple8) -> rule2) triple7) -> rule1) OR ((((triple9 ((triple10 triple11) -> rule3)) -> rule2) triple7) -> rule1))]