Anne is blue. Anne is green. Anne is round. Bob is blue. Bob is round. Fiona is green. Fiona is kind. Gary is blue. Gary is kind. Gary is round. If something is kind then it is not furry. If Bob is blue and Bob is not round then Bob is nice. All green things are kind. If something is rough then it is kind. If something is furry and not round then it is nice. If Gary is green and Gary is rough then Gary is nice.
Gary is blue.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Bob is blue.[(triple4)] Bob is round.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((triple6) -> rule3))] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is round.[(triple10)] @1: Anne is kind.[(((triple2) -> rule3))] Fiona is not furry.[(((triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Gary is not furry.[(((triple9) -> rule1))] @2: Anne is not furry.[(((((triple2) -> rule3)) -> rule1))]