Anne is cold. Anne is red. Anne is rough. Anne is not young. Bob is not big. Bob is blue. Bob is not young. Fiona is green. Fiona is red. Gary is green. Gary is not red. Gary is rough. Red, blue people are green. Blue people are green. If Bob is cold and Bob is not young then Bob is rough. Young people are not blue. If someone is blue and big then they are cold. All green people are cold. If Anne is not young then Anne is not green. If Gary is green then Gary is not red.
Gary is not red.
@0: Anne is cold.[(triple1)] Anne is not young.[(triple4)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple6)] Bob is not big.[(triple5)] Bob is not young.[(triple7)] Fiona is green.[(triple8)] Fiona is red.[(triple9)] Gary is green.[(triple10)] Gary is not red.[(triple11 OR ((triple10) -> rule8))] Gary is rough.[(triple12)] @1: Anne is not green.[(((triple4) -> rule7))] Bob is green.[(((triple6) -> rule2))] Fiona is cold.[(((triple8) -> rule6))] Gary is cold.[(((triple10) -> rule6))] @2: Bob is cold.[(((((triple6) -> rule2)) -> rule6))] @3: Bob is rough.[(((((((triple6) -> rule2)) -> rule6) triple7) -> rule3))]