Dave is cold. Dave is red. Fiona is blue. Fiona is cold. Fiona is red. Fiona is rough. Fiona is round. Rough, young things are red. If something is young and blue then it is round. If something is cold then it is blue. If Fiona is red then Fiona is blue. All rough, young things are round. Cold things are blue. Round, red things are cold. Blue, furry things are round.
Fiona is furry.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Fiona is blue.[(triple3 OR ((triple4) -> rule3) OR ((triple4) -> rule6) OR ((triple5) -> rule4) OR ((((triple7 triple5) -> rule7)) -> rule3) OR ((((triple7 triple5) -> rule7)) -> rule6))] Fiona is cold.[(triple4 OR ((triple7 triple5) -> rule7))] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] @1: Dave is blue.[(((triple1) -> rule3) OR ((triple1) -> rule6))]