Charlie is red. Charlie is young. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is young. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Kind, furry people are cold. All furry people are young. If someone is furry then they are young. If someone is young then they are cold. If Charlie is kind then Charlie is furry. All quiet, cold people are red.
Charlie is kind.
@0: Charlie is red.[(triple1)] Charlie is young.[(triple2)] Erin is cold.[(triple3 OR ((triple9) -> rule4) OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple7 triple3) -> rule6) OR ((triple7 ((triple9) -> rule4)) -> rule6) OR ((triple7 ((triple5 triple4) -> rule1)) -> rule6) OR ((triple7 ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((triple7 ((((triple4) -> rule3)) -> rule4)) -> rule6))] Erin is young.[(triple9 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] Fiona is cold.[(triple10 OR ((triple15) -> rule4) OR ((((triple11) -> rule2)) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] Fiona is furry.[(triple11)] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14 OR ((triple13 triple10) -> rule6) OR ((triple13 ((triple15) -> rule4)) -> rule6) OR ((triple13 ((((triple11) -> rule2)) -> rule4)) -> rule6) OR ((triple13 ((((triple11) -> rule3)) -> rule4)) -> rule6))] Fiona is young.[(triple15 OR ((triple11) -> rule2) OR ((triple11) -> rule3))] @1: Charlie is cold.[(((triple2) -> rule4))]