Bob is big. Bob is blue. Bob is cold. Bob is not kind. Bob is round. Bob is smart. Bob is young. Dave is big. Dave is not cold. Fiona is not big. Fiona is blue. Fiona is not round. Fiona is not smart. Fiona is not young. Harry is kind. If Dave is cold and Dave is smart then Dave is blue. If Fiona is blue and Fiona is not smart then Fiona is not young. If something is cold then it is young. If Fiona is kind then Fiona is round. If Dave is young and Dave is not cold then Dave is not big. If something is big and not blue then it is round.
Harry is not kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is not kind.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule3))] Dave is big.[(triple8)] Dave is not cold.[(triple9)] Fiona is blue.[(triple11)] Fiona is not big.[(triple10)] Fiona is not round.[(triple12)] Fiona is not smart.[(triple13)] Fiona is not young.[(triple14 OR ((triple11 triple13) -> rule2))] Harry is kind.[(triple15)]