Anne is round. Anne is smart. Anne is young. Dave is big. Dave is blue. Fiona is big. Fiona is blue. If Anne is round and Anne is blue then Anne is green. Cold people are round. Cold, blue people are round. All blue people are cold. If someone is round then they are young. All cold, green people are blue.
Dave is blue.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule5))] Dave is big.[(triple4)] Dave is blue.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] @1: Dave is cold.[(((triple5) -> rule4))] Fiona is cold.[(((triple7) -> rule4))] @2: Dave is round.[(((((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule4) triple5) -> rule3))] Fiona is round.[(((((triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule4) triple7) -> rule3))] @3: Dave is young.[(((((((triple5) -> rule4)) -> rule2)) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule3)) -> rule5))] Fiona is young.[(((((((triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((triple7) -> rule4) triple7) -> rule3)) -> rule5))]