Erin is big. Erin is not furry. Fiona is blue. Fiona is green. Fiona is kind. Harry is blue. Harry is cold. All kind people are green. If Erin is blue then Erin is cold. If Erin is furry and Erin is not kind then Erin is blue. If someone is kind then they are cold. All furry people are cold. If Fiona is blue and Fiona is furry then Fiona is big. If someone is green and not kind then they are nice. If someone is kind and not cold then they are nice.
Harry is not cold.
@0: Erin is big.[(triple1)] Erin is not furry.[(triple2)] Fiona is blue.[(triple3)] Fiona is green.[(triple4 OR ((triple5) -> rule1))] Fiona is kind.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule4))]