Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is white. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. If Bob is red then Bob is round. Kind people are cold. If someone is cold and furry then they are kind.
Bob is round.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Fiona is cold.[(triple6 OR ((triple8) -> rule2))] Fiona is furry.[(triple7)] Fiona is kind.[(triple8 OR ((triple6 triple7) -> rule3))] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]