Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is smart. Quiet things are round. If something is round and furry then it is kind. If something is smart then it is quiet.
Dave is round.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule1))] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8 OR ((triple11 triple7) -> rule2) OR ((((triple9) -> rule1) triple7) -> rule2) OR ((((((triple12) -> rule3)) -> rule1) triple7) -> rule2))] Dave is quiet.[(triple9 OR ((triple12) -> rule3))] Dave is rough.[(triple10)] Dave is round.[(triple11 OR ((triple9) -> rule1) OR ((((triple12) -> rule3)) -> rule1))] Dave is smart.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is quiet.[(((triple16) -> rule3))] @2: Fiona is round.[(((((triple16) -> rule3)) -> rule1))] @3: Fiona is kind.[(((((((triple16) -> rule3)) -> rule1) triple14) -> rule2))]