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