Bob is cold. Bob is furry. Bob is rough. Bob is young. Charlie is round. Charlie is young. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is young. Fiona is cold. Fiona is furry. Fiona is nice. If someone is quiet and furry then they are young. If someone is nice and quiet then they are furry. All quiet people are cold. Furry, quiet people are rough. If someone is quiet then they are furry. All round, rough people are nice.
Bob is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9 OR ((triple11 triple10) -> rule6))] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is nice.[(triple15)]