Anne is blue. Anne is furry. Anne is green. Bob is not rough. Gary is blue. Gary is not furry. Gary is not nice. If someone is quiet then they are kind. All green people are quiet. All nice people are not quiet. If someone is green then they are quiet. All kind, green people are rough. If Bob is rough then Bob is not furry. If Anne is not kind then Anne is rough. If someone is rough then they are blue.
Gary is quiet.
@0: Anne is blue.[(triple1 OR ((((((((triple3) -> rule2)) -> rule1) triple3) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule5)) -> rule8))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Bob is not rough.[(triple4)] Gary is blue.[(triple5)] Gary is not furry.[(triple6)] Gary is not nice.[(triple7)] @1: Anne is quiet.[(((triple3) -> rule2) OR ((triple3) -> rule4))] @2: Anne is kind.[(((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] @3: Anne is rough.[(((((((triple3) -> rule2)) -> rule1) triple3) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) triple3) -> rule5))]