Bob is cold. Bob is furry. Bob is red. Bob is round. Charlie is not blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Fiona is blue. Fiona is round. If Charlie is rough and Charlie is round then Charlie is furry. Blue, furry people are rough. If Bob is furry then Bob is cold.
Bob is not rough.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule3))] Bob is furry.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is not blue.[(triple5)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is rough.[(triple10)] Fiona is blue.[(triple11)] Fiona is round.[(triple12)]