Bob is green. Bob is smart. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is white. Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is red. Gary is white. If someone is quiet and not green then they are blue. If Charlie is white and Charlie is blue then Charlie is red. If Bob is green then Bob is quiet. If Charlie is red and Charlie is quiet then Charlie is big. Smart people are white. If Bob is white then Bob is red. If someone is white and not red then they are big. If someone is blue and not red then they are big.
Charlie is smart.
@0: Bob is green.[(triple1)] Bob is smart.[(triple2)] Charlie is big.[(triple3 OR ((((triple6 triple4) -> rule2) triple5) -> rule4))] Charlie is blue.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is white.[(triple12)] @1: Bob is quiet.[(((triple1) -> rule3))] Bob is white.[(((triple2) -> rule5))] Charlie is red.[(((triple6 triple4) -> rule2))] @2: Bob is red.[(((((triple2) -> rule5)) -> rule6))]