Bob is green. Bob is quiet. Bob is rough. Bob is smart. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Fiona is cold. Fiona is kind. Gary is cold. Gary is kind. Gary is rough. Gary is smart. Gary is white. If Fiona is cold and Fiona is kind then Fiona is green. If someone is quiet and smart then they are white. If someone is white and cold then they are rough. If someone is quiet then they are rough. All quiet, smart people are cold. Kind people are white.
Charlie is green.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule4) OR ((((triple2 triple4) -> rule2) ((triple2 triple4) -> rule5)) -> rule3))] Bob is smart.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6 OR ((triple5) -> rule4) OR ((triple8 ((triple5 triple7) -> rule5)) -> rule3) OR ((((triple5 triple7) -> rule2) ((triple5 triple7) -> rule5)) -> rule3))] Charlie is smart.[(triple7)] Charlie is white.[(triple8 OR ((triple5 triple7) -> rule2))] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is rough.[(triple13 OR ((triple15 triple11) -> rule3) OR ((((triple12) -> rule6) triple11) -> rule3))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple12) -> rule6))] @1: Bob is cold.[(((triple2 triple4) -> rule5))] Bob is white.[(((triple2 triple4) -> rule2))] Charlie is cold.[(((triple5 triple7) -> rule5))] Fiona is green.[(((triple9 triple10) -> rule1))] Fiona is white.[(((triple10) -> rule6))] @2: Fiona is rough.[(((((triple10) -> rule6) triple9) -> rule3))]