Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is round. Fiona is cold. Fiona is kind. Fiona is round. Harry is blue. Harry is quiet. Blue people are smart. Cold, kind people are quiet. If someone is smart then they are cold. Quiet people are blue. All smart, kind people are round. Quiet, round people are kind.
Dave is not cold.
@0: Dave is blue.[(triple1 OR ((triple4) -> rule4))] Dave is cold.[(triple2 OR ((((triple1) -> rule1)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1)) -> rule3))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is round.[(triple8 OR ((((((((triple6 triple7) -> rule2)) -> rule4)) -> rule1) triple7) -> rule5))] Harry is blue.[(triple9 OR ((triple10) -> rule4))] Harry is quiet.[(triple10)] @1: Dave is kind.[(((triple4 triple5) -> rule6))] Dave is smart.[(((triple1) -> rule1) OR ((((triple4) -> rule4)) -> rule1))] Fiona is quiet.[(((triple6 triple7) -> rule2))] Harry is smart.[(((triple9) -> rule1) OR ((((triple10) -> rule4)) -> rule1))] @2: Fiona is blue.[(((((triple6 triple7) -> rule2)) -> rule4))] Harry is cold.[(((((triple9) -> rule1)) -> rule3) OR ((((((triple10) -> rule4)) -> rule1)) -> rule3))] @3: Fiona is smart.[(((((((triple6 triple7) -> rule2)) -> rule4)) -> rule1))]