Bob is cold. Bob is green. Bob is red. Bob is white. Bob is young. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is white. Charlie is young. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is white. All green, white things are kind. Young, white things are kind. Kind, red things are quiet. If Charlie is young then Charlie is cold. If Charlie is quiet and Charlie is green then Charlie is cold. If something is quiet then it is white.
Charlie is not young.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Charlie is cold.[(triple6 OR ((triple10) -> rule4))] Charlie is kind.[(triple7 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple8) -> rule6)) -> rule2))] Charlie is quiet.[(triple8)] Charlie is white.[(triple9 OR ((triple8) -> rule6))] Charlie is young.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12 OR ((triple11 triple15) -> rule1) OR ((triple11 ((triple13) -> rule6)) -> rule1))] Gary is quiet.[(triple13 OR ((triple12 triple14) -> rule3) OR ((((triple11 triple15) -> rule1) triple14) -> rule3))] Gary is red.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule6) OR ((((triple12 triple14) -> rule3)) -> rule6))] @1: Bob is kind.[(((triple2 triple4) -> rule1) OR ((triple5 triple4) -> rule2))] @2: Bob is quiet.[(((((triple2 triple4) -> rule1) triple3) -> rule3) OR ((((triple5 triple4) -> rule2) triple3) -> rule3))]