Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is white. White, furry things are cold. All white things are blue. All cold things are red.
Fiona is not big.
@0: Bob is cold.[(triple1 OR ((triple5 triple2) -> rule1))] Bob is furry.[(triple2)] Bob is red.[(triple3 OR ((triple1) -> rule3) OR ((((triple5 triple2) -> rule1)) -> rule3))] Bob is rough.[(triple4)] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7 OR ((triple12) -> rule2))] Fiona is cold.[(triple8 OR ((triple12 triple9) -> rule1))] Fiona is furry.[(triple9)] Fiona is red.[(triple10 OR ((triple8) -> rule3) OR ((((triple12 triple9) -> rule1)) -> rule3))] Fiona is rough.[(triple11)] Fiona is white.[(triple12)] @1: Bob is blue.[(((triple5) -> rule2))]