Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Harry is big. Harry is blue. Harry is cold. Harry is quiet. Harry is red. If something is red then it is cold.
Fiona is not quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple6) -> rule1))] Bob is furry.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14 OR ((triple16) -> rule1))] Harry is quiet.[(triple15)] Harry is red.[(triple16)]