Anne is blue. Anne is cold. Dave is big. Dave is not round. Dave is not young. Gary is blue. Gary is nice. If someone is blue then they are quiet. Nice people are blue. If someone is quiet and blue then they are round. If someone is quiet then they are young. If someone is round then they are young. If Gary is round then Gary is blue. If someone is round and not blue then they are not big. If Dave is not big and Dave is not blue then Dave is not cold.
Dave is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Dave is big.[(triple3)] Dave is not round.[(triple4)] Dave is not young.[(triple5)] Gary is blue.[(triple6 OR ((triple7) -> rule2))] Gary is nice.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule1))] Gary is quiet.[(((triple6) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] @2: Anne is round.[(((((triple1) -> rule1) triple1) -> rule3))] Anne is young.[(((((triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule1) triple1) -> rule3)) -> rule5))] Gary is round.[(((((triple6) -> rule1) triple6) -> rule3) OR ((((triple6) -> rule1) ((triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule2)) -> rule1) triple6) -> rule3) OR ((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule3))] Gary is young.[(((((triple6) -> rule1)) -> rule4) OR ((((((triple7) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6) -> rule1) triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule1) ((triple7) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule1) triple6) -> rule3)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule3)) -> rule5))]