Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is smart. Harry is white. Cold people are quiet. Cold, blue people are green. If someone is white then they are smart.
Harry is cold.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple2 triple1) -> rule2))] Fiona is quiet.[(triple4 OR ((triple2) -> rule1))] Fiona is red.[(triple5)] Fiona is smart.[(triple6 OR ((triple7) -> rule3))] Fiona is white.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10 OR ((triple9 triple8) -> rule2))] Harry is quiet.[(triple11 OR ((triple9) -> rule1))] Harry is red.[(triple12)] Harry is smart.[(triple13 OR ((triple14) -> rule3))] Harry is white.[(triple14)]