Bob is big. Bob is quiet. Fiona is not cold. Fiona is green. Fiona is not kind. Fiona is white. Gary is kind. If someone is quiet then they are cold. If Gary is young then Gary is not quiet. If Gary is white then Gary is not quiet. All green, big people are young. All green people are white. All kind people are big. White, kind people are green. If Gary is big then Gary is young.
Gary is not white.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Fiona is green.[(triple4)] Fiona is not cold.[(triple3)] Fiona is not kind.[(triple5)] Fiona is white.[(triple6 OR ((triple4) -> rule5))] Gary is kind.[(triple7)] @1: Bob is cold.[(((triple2) -> rule1))] Gary is big.[(((triple7) -> rule6))] @2: Gary is young.[(((((triple7) -> rule6)) -> rule8))] @3: Gary is not quiet.[(((((((triple7) -> rule6)) -> rule8)) -> rule2))]