Bob is cold. Bob is quiet. Bob is red. Bob is smart. Bob is young. Fiona is big. Fiona is not cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is not young. Harry is not furry. Harry is quiet. Harry is red. Harry is smart. Cold people are red. Quiet, big people are red. All furry, young people are red. If someone is big and not quiet then they are red. If someone is smart and not big then they are red. If someone is red and not big then they are not young. If Harry is furry and Harry is quiet then Harry is smart. If Harry is not cold then Harry is not red.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3 OR ((triple1) -> rule1))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple8)] Fiona is not cold.[(triple7)] Fiona is not young.[(triple12)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple9 triple6) -> rule2))] Fiona is smart.[(triple11)] Harry is not furry.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16)]