Anne is blue. Anne is cold. Anne is furry. Anne is rough. Anne is smart. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. Red things are rough. Rough, round things are red.
Bob is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8 OR ((triple9 triple10) -> rule2))] Bob is rough.[(triple9 OR ((triple8) -> rule1))] Bob is round.[(triple10)] Bob is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)]