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