Bob is not big. Bob is blue. Bob is cold. Bob is round. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not rough. Charlie is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is young. Harry is kind. Harry is round. If someone is rough and big then they are round. All round, blue people are cold.
Fiona is not cold.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple4 triple2) -> rule2))] Bob is not big.[(triple1)] Bob is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is not rough.[(triple8)] Charlie is young.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple14)] Harry is kind.[(triple15)] Harry is round.[(triple16)] @1: Fiona is round.[(((triple13 triple10) -> rule1))]