Anne is big. Anne is cold. Anne is green. Anne is kind. Erin is cold. Erin is furry. Erin is green. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Harry is cold. Harry is furry. Harry is kind. Harry is rough. If someone is furry then they are cold. If someone is kind then they are cold. Big, blue people are cold. If Anne is cold then Anne is rough. If someone is big and green then they are blue. All furry people are blue. If someone is kind and furry then they are rough. All big, furry people are blue.
Fiona is rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple1 ((triple1 triple3) -> rule5)) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Erin is cold.[(triple5 OR ((triple6) -> rule1))] Erin is furry.[(triple6)] Erin is green.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple8 triple11) -> rule5))] Fiona is cold.[(triple10 OR ((triple12) -> rule2) OR ((triple8 triple9) -> rule3) OR ((triple8 ((triple8 triple11) -> rule5)) -> rule3))] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Harry is cold.[(triple13 OR ((triple14) -> rule1) OR ((triple15) -> rule2))] Harry is furry.[(triple14)] Harry is kind.[(triple15)] Harry is rough.[(triple16 OR ((triple15 triple14) -> rule7))] @1: Anne is blue.[(((triple1 triple3) -> rule5))] Anne is rough.[(((triple2) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple1 ((triple1 triple3) -> rule5)) -> rule3)) -> rule4))] Erin is blue.[(((triple6) -> rule6))] Harry is blue.[(((triple14) -> rule6))]