Anne is young. Bob is big. Bob is young. Dave is kind. Fiona is cold. Fiona is not red. Fiona is smart. If someone is kind then they are cold. Big people are cold. Big people are cold. If someone is cold then they are young. If Dave is not cold and Dave is not big then Dave is quiet. If someone is big and not young then they are quiet. Red people are quiet. Young people are not quiet.
Anne is quiet.
@0: Anne is young.[(triple1)] Bob is big.[(triple2)] Bob is young.[(triple3 OR ((((triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] Dave is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is not red.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is not quiet.[(((triple1) -> rule8))] Bob is cold.[(((triple2) -> rule2) OR ((triple2) -> rule3))] Bob is not quiet.[(((triple3) -> rule8) OR ((((((triple2) -> rule2)) -> rule4)) -> rule8) OR ((((((triple2) -> rule3)) -> rule4)) -> rule8))] Dave is cold.[(((triple4) -> rule1))] Fiona is young.[(((triple5) -> rule4))] @2: Dave is young.[(((((triple4) -> rule1)) -> rule4))] Fiona is not quiet.[(((((triple5) -> rule4)) -> rule8))] @3: Dave is not quiet.[(((((((triple4) -> rule1)) -> rule4)) -> rule8))]