Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Bob is blue. Bob is kind. Bob is nice. Bob is not quiet. Dave is not furry. Dave is green. Dave is quiet. Fiona is cold. All cold people are blue. Green, nice people are kind. All blue people are kind. Kind, cold people are nice. If someone is nice then they are green. Cold, green people are quiet.
Dave is not kind.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Anne is quiet.[(triple4 OR ((triple2 ((((triple3 triple2) -> rule4)) -> rule5)) -> rule6) OR ((triple2 ((((((triple1) -> rule3) triple2) -> rule4)) -> rule5)) -> rule6) OR ((triple2 ((((((((triple2) -> rule1)) -> rule3) triple2) -> rule4)) -> rule5)) -> rule6))] Bob is blue.[(triple5)] Bob is kind.[(triple6 OR ((triple5) -> rule3) OR ((((triple7) -> rule5) triple7) -> rule2))] Bob is nice.[(triple7)] Bob is not quiet.[(triple8)] Dave is green.[(triple10)] Dave is not furry.[(triple9)] Dave is quiet.[(triple11)] Fiona is cold.[(triple12)] @1: Anne is nice.[(((triple3 triple2) -> rule4) OR ((((triple1) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule1)) -> rule3) triple2) -> rule4))] Bob is green.[(((triple7) -> rule5))] Fiona is blue.[(((triple12) -> rule1))] @2: Anne is green.[(((((triple3 triple2) -> rule4)) -> rule5) OR ((((((triple1) -> rule3) triple2) -> rule4)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule3) triple2) -> rule4)) -> rule5))] Fiona is kind.[(((((triple12) -> rule1)) -> rule3))] @3: Fiona is nice.[(((((((triple12) -> rule1)) -> rule3) triple12) -> rule4))] @4: Fiona is green.[(((((((((triple12) -> rule1)) -> rule3) triple12) -> rule4)) -> rule5))] @5: Fiona is quiet.[(((triple12 ((((((((triple12) -> rule1)) -> rule3) triple12) -> rule4)) -> rule5)) -> rule6))]