Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. All kind, furry people are big. If someone is furry then they are cold.
Fiona is not kind.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule1))] Bob is cold.[(triple2 OR ((triple3) -> rule2))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Fiona is big.[(triple8 OR ((triple11 triple10) -> rule1))] Fiona is cold.[(triple9 OR ((triple10) -> rule2))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14)]