Bob is smart. Dave is cold. Fiona is blue. Fiona is green. Fiona is round. Fiona is white. Harry is blue. Harry is cold. Harry is green. Harry is round. Harry is smart. Harry is white. All round people are kind. If someone is round and cold then they are smart. If Harry is green then Harry is white.
Fiona is white.
@0: Bob is smart.[(triple1)] Dave is cold.[(triple2)] Fiona is blue.[(triple3)] Fiona is green.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11 OR ((triple10 triple8) -> rule2))] Harry is white.[(triple12 OR ((triple9) -> rule3))] @1: Fiona is kind.[(((triple5) -> rule1))] Harry is kind.[(((triple10) -> rule1))]