Anne is cold. Anne is nice. Anne is young. Bob is cold. Bob is round. Fiona is blue. Fiona is round. Fiona is young. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is young. If someone is blue and round then they are nice. If Anne is nice then Anne is quiet. Round, blue people are quiet. All round people are smart. Smart people are blue. If someone is blue then they are nice.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is round.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7) -> rule4)) -> rule5))] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9 OR ((triple14) -> rule5) OR ((((triple13) -> rule4)) -> rule5))] Gary is cold.[(triple10)] Gary is nice.[(triple11 OR ((triple9) -> rule6) OR ((triple9 triple13) -> rule1) OR ((((triple14) -> rule5)) -> rule6) OR ((((triple14) -> rule5) triple13) -> rule1) OR ((((((triple13) -> rule4)) -> rule5)) -> rule6) OR ((((((triple13) -> rule4)) -> rule5) triple13) -> rule1))] Gary is quiet.[(triple12 OR ((triple13 triple9) -> rule3) OR ((triple13 ((triple14) -> rule5)) -> rule3) OR ((triple13 ((((triple13) -> rule4)) -> rule5)) -> rule3))] Gary is round.[(triple13)] Gary is smart.[(triple14 OR ((triple13) -> rule4))] Gary is young.[(triple15)] @1: Anne is quiet.[(((triple2) -> rule2))] Bob is smart.[(((triple5) -> rule4))] Fiona is nice.[(((triple6) -> rule6) OR ((triple6 triple7) -> rule1) OR ((((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((((triple7) -> rule4)) -> rule5) triple7) -> rule1))] Fiona is quiet.[(((triple7 triple6) -> rule3) OR ((triple7 ((((triple7) -> rule4)) -> rule5)) -> rule3))] Fiona is smart.[(((triple7) -> rule4))] @2: Bob is blue.[(((((triple5) -> rule4)) -> rule5))] @3: Bob is nice.[(((((((triple5) -> rule4)) -> rule5)) -> rule6) OR ((((((triple5) -> rule4)) -> rule5) triple5) -> rule1))] Bob is quiet.[(((triple5 ((((triple5) -> rule4)) -> rule5)) -> rule3))]