Dave is blue. Dave is cold. Dave is red. Dave is round. Dave is smart. Dave is young. Fiona is red. Fiona is round. Fiona is smart. Harry is blue. Harry is cold. Harry is red. Harry is round. Harry is white. Harry is young. Young, round people are cold. If Fiona is smart and Fiona is red then Fiona is young.
Harry is not red.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple6 triple4) -> rule1))] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple15 triple13) -> rule1))] Harry is red.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Fiona is young.[(((triple9 triple7) -> rule2))] @2: Fiona is cold.[(((((triple9 triple7) -> rule2) triple8) -> rule1))]