Bob is big. Bob is furry. Bob is nice. Bob is rough. Charlie is big. Charlie is cold. Charlie is rough. Fiona is cold. Fiona is nice. Fiona is red. Harry is big. Harry is rough. All rough things are cold.
Charlie is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6 OR ((triple7) -> rule1))] Charlie is rough.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Harry is big.[(triple11)] Harry is rough.[(triple12)] @1: Bob is cold.[(((triple4) -> rule1))] Harry is cold.[(((triple12) -> rule1))]