Bob is blue. Bob is furry. Bob is nice. Bob is rough. Bob is round. Bob is white. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is white. Harry is blue. Harry is nice. Harry is rough. Harry is round. Harry is white. All cold things are furry.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is nice.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Fiona is furry.[(((triple7) -> rule1))]