Anne is blue. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is white. Gary is furry. Gary is quiet. Gary is rough. Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is white. If someone is quiet then they are big. All big people are nice. If Gary is blue then Gary is nice.
Anne is not nice.
@0: Anne is blue.[(triple1)] Bob is big.[(triple2 OR ((triple6) -> rule1))] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Bob is nice.[(triple5 OR ((triple2) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Bob is quiet.[(triple6)] Bob is white.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Harry is big.[(triple11 OR ((triple14) -> rule1))] Harry is furry.[(triple12)] Harry is nice.[(triple13 OR ((triple11) -> rule2) OR ((((triple14) -> rule1)) -> rule2))] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Gary is big.[(((triple9) -> rule1))] @2: Gary is nice.[(((((triple9) -> rule1)) -> rule2))]