Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is not red. Bob is not rough. Bob is white. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Blue people are cold.
Bob is furry.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule1))] Bob is furry.[(triple3)] Bob is not red.[(triple5)] Bob is not rough.[(triple6)] Bob is quiet.[(triple4)] Bob is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((triple8) -> rule1))] Fiona is not furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is white.[(triple14)]