Anne is big. Anne is blue. Anne is round. Anne is smart. Bob is cold. Bob is green. Bob is quiet. Bob is round. Bob is smart. Charlie is cold. Charlie is quiet. Charlie is smart. Dave is big. Dave is blue. Dave is round. All green people are quiet. Smart, blue people are green. All big people are smart.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple1) -> rule3))] Bob is cold.[(triple5)] Bob is green.[(triple6)] Bob is quiet.[(triple7 OR ((triple6) -> rule1))] Bob is round.[(triple8)] Bob is smart.[(triple9)] Charlie is cold.[(triple10)] Charlie is quiet.[(triple11)] Charlie is smart.[(triple12)] Dave is big.[(triple13)] Dave is blue.[(triple14)] Dave is round.[(triple15)] @1: Anne is green.[(((triple4 triple2) -> rule2) OR ((((triple1) -> rule3) triple2) -> rule2))] Dave is smart.[(((triple13) -> rule3))] @2: Anne is quiet.[(((((triple4 triple2) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) triple2) -> rule2)) -> rule1))] Dave is green.[(((((triple13) -> rule3) triple14) -> rule2))] @3: Dave is quiet.[(((((((triple13) -> rule3) triple14) -> rule2)) -> rule1))]