Anne is cold. Anne is kind. Anne is nice. Bob is big. Bob is kind. Bob is quiet. Dave is big. Dave is cold. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is young. If something is cold then it is quiet. If something is nice and furry then it is cold.
Dave is quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Bob is big.[(triple4)] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10 OR ((triple13 triple11) -> rule2))] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is quiet.[(triple14 OR ((triple10) -> rule1) OR ((((triple13 triple11) -> rule2)) -> rule1))] Fiona is young.[(triple15)] @1: Anne is quiet.[(((triple1) -> rule1))] Dave is quiet.[(((triple8) -> rule1))]