Anne is green. Anne is red. Anne is round. Anne is smart. Bob is green. Dave is big. Dave is green. Dave is red. Dave is round. Dave is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. If someone is kind and red then they are quiet. If someone is green and smart then they are kind.
Bob is not smart.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10)] Fiona is big.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14 OR ((triple13 triple15) -> rule1))] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Anne is kind.[(((triple1 triple4) -> rule2))] Dave is kind.[(((triple7 triple10) -> rule2))] @2: Anne is quiet.[(((((triple1 triple4) -> rule2) triple2) -> rule1))] Dave is quiet.[(((((triple7 triple10) -> rule2) triple8) -> rule1))]