Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is smart. Erin is nice. Erin is red. Fiona is green. Fiona is not red. Fiona is rough. Furry people are red. If Bob is nice and Bob is not rough then Bob is red. If someone is green and not smart then they are not furry.
Fiona is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule1))] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Fiona is green.[(triple10)] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)]