Anne is cold. Anne is kind. Bob is quiet. Bob is red. Dave is big. Dave is green. Fiona is big. If something is big then it is smart. Smart things are red. If something is cold and big then it is quiet. Smart things are big. Red things are kind. If something is kind and red then it is smart. All kind, quiet things are red. If something is big then it is smart.
Dave is red.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple6)] Fiona is big.[(triple7)] @1: Bob is kind.[(((triple4) -> rule5))] Dave is smart.[(((triple5) -> rule1) OR ((triple5) -> rule8))] Fiona is smart.[(((triple7) -> rule1) OR ((triple7) -> rule8))] @2: Bob is smart.[(((((triple4) -> rule5) triple4) -> rule6))] Dave is red.[(((((triple5) -> rule1)) -> rule2) OR ((((triple5) -> rule8)) -> rule2))] Fiona is red.[(((((triple7) -> rule1)) -> rule2) OR ((((triple7) -> rule8)) -> rule2))] @3: Bob is big.[(((((((triple4) -> rule5) triple4) -> rule6)) -> rule4))] Dave is kind.[(((((((triple5) -> rule1)) -> rule2)) -> rule5) OR ((((((triple5) -> rule8)) -> rule2)) -> rule5))] Fiona is kind.[(((((((triple7) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule2)) -> rule5))]