Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is young. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Fiona is cold. Fiona is quiet. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Young people are smart. Kind people are smart. All kind, young people are furry.
Dave is cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple2) -> rule2) OR ((triple6) -> rule1))] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Fiona is cold.[(triple11)] Fiona is quiet.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16)] @1: Bob is furry.[(((triple2 triple6) -> rule3))] Dave is smart.[(((triple9) -> rule2))] Harry is smart.[(((triple14) -> rule2))]