Anne is big. Anne is green. Anne is white. Bob is big. Bob is young. Gary is green. Gary is nice. Gary is young. Harry is big. Harry is quiet. Harry is white. Harry is young. Young people are white. If someone is red then they are green. If Gary is green then Gary is red. Red people are young. Young people are quiet. If someone is nice and white then they are quiet.
Harry is not green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is young.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is young.[(triple8 OR ((((triple6) -> rule3)) -> rule4))] Harry is big.[(triple9)] Harry is quiet.[(triple10 OR ((triple12) -> rule5))] Harry is white.[(triple11 OR ((triple12) -> rule1))] Harry is young.[(triple12)] @1: Bob is quiet.[(((triple5) -> rule5))] Bob is white.[(((triple5) -> rule1))] Gary is quiet.[(((triple8) -> rule5) OR ((triple7 ((triple8) -> rule1)) -> rule6) OR ((((((triple6) -> rule3)) -> rule4)) -> rule5) OR ((triple7 ((((((triple6) -> rule3)) -> rule4)) -> rule1)) -> rule6))] Gary is red.[(((triple6) -> rule3))] Gary is white.[(((triple8) -> rule1) OR ((((((triple6) -> rule3)) -> rule4)) -> rule1))]