Bob is cold. Bob is furry. Bob is kind. Bob is not rough. Bob is not round. Bob is white. Bob is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. Fiona is not white. Fiona is young. Young things are cold.
Bob is kind.
@0: Bob is cold.[(triple1 OR ((triple7) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not rough.[(triple4)] Bob is not round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Fiona is cold.[(triple8 OR ((triple14) -> rule1))] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is not white.[(triple13)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] Fiona is young.[(triple14)]